Pretraga




Rezultati

Deductive completeness   [1996]

Došen, Kosta  

Godel's Notre Dame course   [2016]

Adžić, Miloš  ; Dosen, Kosta  

IDentity Of Proofs Based On Normalization And Generality   [2003]

Došen, Kosta  

Goedel's Notre Dame course   [2016]

Došen, Kosta  ; Adžić, Miloš  

Completely additive liftings   [1998]

Farah, Ilijas 

Soundness and completeness of a high probabilities sequent calculus   [2018]

Boričić, Marija B.  

CORONA RIGIDITY   [2025]

Farah, Ilijas; Ghasemi, Saeed; Vaccaro, Andrea; Vignati, Alessandro

Greg Restall, "An Introduction to Substructural Logics" - Routledge, London, 2000   [2001]

Došen, Kosta  

Combinatorial dichotomies in set theory   [2011]

Todorčević, Stevo  

Filteri

Po tipu