Претрага
Резултати
Goedel's Notre Dame course [2016]
Došen, Kosta ; Adžić, MilošCompletely additive liftings [1998]
Farah, IlijasDeductive completeness [1996]
Došen, KostaGodel's Notre Dame course [2016]
Adžić, Miloš ; Dosen, KostaGreg Restall, "An Introduction to Substructural Logics" - Routledge, London, 2000 [2001]
Došen, KostaIDentity Of Proofs Based On Normalization And Generality [2003]
Došen, KostaCombinatorial dichotomies in set theory [2011]
Todorčević, StevoSoundness and completeness of a high probabilities sequent calculus [2018]
Boričić, Marija B.Филтери
По типу