Pretraga




Rezultati

Reversibility of extreme relational structures   [2020]

Kurilić, Miloš  ; Morača, Nenad

Sequent calculus for classical logic probabilized   [2018]

Boričić, Marija  

Isomorphic and strongly connected components   [2014]

Kurilić, Miloš  

Simple groups and the number of countable models   [2013]

Tanović, Predrag  

Completeness theorem for propositional probabilistic models whose measures have only finite ranges   [2004]

Đordević, Radosav; Rašković, Miodrag; Ognjanović, Zoran  

Simple types in discretely ordered structures   [2014]

Ilić, Dejan  

Theories with constants and three countable models   [2007]

Tanović, Predrag  

Baumgartner’s isomorphism problem for ℵ2 -dense suborders of R   [2017]

Moore, Justin Tatch; Todorčević, Stevo  

Omitting types and AF algebras   [2014]

Carlson, Kevin; Cheung, Enoch; Farah, Ilijas ; Gerhardt-Bourke, Alexander; Hart, Bradd; Mezuman, Leanne; Sequeira, Nigel; Sherman, Alexander

A connection between cut elimination and normalization   [2006]

Borisavljević, Mirjana  

Филтери

По типу