Претрага
Резултати
Greg Restall, "An Introduction to Substructural Logics" - Routledge, London, 2000 [2001]
Došen, Kosta
Deductive completeness [1996]
Došen, Kosta
Completely additive liftings [1998]
Farah, Ilijas
Soundness 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š
Combinatorial dichotomies in set theory [2011]
Todorčević, Stevo
Godel's Notre Dame course [2016]
Adžić, Miloš ; Dosen, Kosta
IDentity Of Proofs Based On Normalization And Generality [2003]
Došen, Kosta
Филтери
По типу