Pregled po CROSBI profilu: Tin Adlešić (CROSBI Profil: 41537, OBAD: -356827)
Pronađeno 9 radova
-
1.Adlešić, TinFrege’s Begriffsschrift // World Logic Day 2023 Zagreb - Book of Abstracts
Zagreb, Hrvatska, 2023. str. 3-3 (predavanje, sažetak, stručni) -
2.Adlešić, Tin; Čačić, VedranFormalizing assignment of types to terms in NFU. // Abstract of Contributed Talks / - , 2022, 24-25
Reykjavík, Island, 2022. str. 24-24 (predavanje, sažetak, znanstveni) -
3.Adlešić, Tin; Čačić, VedranAlternative axiomatization of NFU // Logic and Applications LAP 2022-Book of Abstracts
Dubrovnik, Hrvatska, 2022. str. 5-6 (predavanje, sažetak, znanstveni) -
4.Adlešić, Tin; Čačić, VedranTarski's theorem about choice and the alternative axiomatic extension of NFU // Abstract of Contributed Talks
Reykjavík, Island, 2022. str. 24-25 (predavanje, sažetak, znanstveni) -
5.Adlešić, Tin; Čačić, VedranA modern rigorous approach to stratification in NF/NFU // 7th World Congress and School on Universal Logic - Schedule of the General Session
Chania, Grčka, 2022. str. 5-5 (predavanje, sažetak, znanstveni) -
6.Adlešić, Tin; Čačić, VedranA modern rigorous approach to stratification in NF/NFU // Logica universalis, 16 (2022), 451-468 doi:10.1007/s11787-022-00310-y (međunarodna recenzija, članak, znanstveni)
-
7.Adlešić, TinQuine’s New foundations and paradoxes // Book of Abstracts
Dubrovnik, Hrvatska, 2021. str. 62-63 (predavanje, sažetak, stručni) -
8.Adlešić, Tin; Čačić, VedranFormal approach to stratification in NF/NFU // FORMALS 2021-Book of Abstract
Dubrovnik, Hrvatska, 2021. str. 5-6 (predavanje, sažetak, znanstveni) -
9.Adlešić, TinProšireni modeli teorije skupova, 2018., diplomski rad, diplomski, Prirodoslovno-matematički fakultet - Matematički odsjek, Zagreb
