Претрага
Резултати
Combinatorial dichotomies in set theory [2011]
Todorčević, StevoCompletely additive liftings [1998]
Farah, IlijasSoundness and completeness of a high probabilities sequent calculus [2018]
Boričić, Marija B.Goedel's Notre Dame course [2016]
Došen, Kosta ; Adžić, MilošDeductive 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, KostaФилтери
По типу