A modern rigorous approach to stratification in NF/NFU T Adlešić, V Čačić Logica universalis 16 (3), 451-468, 2022 | 1 | 2022 |
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 |