Folgen
Tin Adlešić
Tin Adlešić
University of Zagreb, Faculty of Chemical Engineering and Technology
Bestätigte E-Mail-Adresse bei fkit.unizg.hr
Titel
Zitiert von
Zitiert von
Jahr
A modern rigorous approach to stratification in NF/NFU
T Adlešić, V Čačić
Logica universalis 16 (3), 451-468, 2022
12022
The Cardinal Squaring Principle and an Alternative Axiomatization of NFU
T Adlešić, V Čačić
Wydawnictwo Uniwersytetu Łódzkiego, 2023
2023
Frege’s Begriffsschrift
T Adlešić
World Logic Day 2023, Zagreb, 3-3, 2023
2023
Formalizing assignment of types to terms in NFU.
T Adlešić, V Čačić
2022 LOGIC COLLOQUIUM: SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC …, 2022
2022
Alternative axiomatization of NFU
T Adlešić, V Čačić
Logic and Applications LAP 2022, 5-6, 2022
2022
Tarski's theorem about choice and the alternative axiomatic extension of NFU.
T Adlešić, V Čačić
2022 LOGIC COLLOQUIUM: SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC …, 2022
2022
Formal approach to stratification in NF/NFU
T Adlešić, V Čačić
Logic and Applications LAP 2021, 5-6, 2021
2021
Quine’s New foundations and paradoxes
T Adlešić
Logic and Applications LAP 2021, 62-63, 2021
2021
Prošireni modeli teorije skupova
T Adlešić
University of Zagreb. Faculty of Science. Department of Mathematics, 2018
2018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9