Претрага




Резултати

Trees and ehrenfeucht-fraïssé games   [1999]

Todorčević, Stevo  ; Väänänen, Jouko

A game on Boolean algebras describing the collapse of the continuum   [2009]

Šobot Boris  ; Kurilić M.S.  

A cut-elimination proof in intuitionistic predicate logic   [1999]

Borisavljevic, Mirjana  

Proofs and surfaces   [2020]

Baralić, Đorđe  ; Curien, Pierre Louis; Milićević, Marina; Obradović, Jovana  ; Petrić, Zoran  ; Zekić, Mladen  ; Živaljević, Rade  

Basis problem for turbulent actions I: Tsirelson submeasures   [2001]

Farah, Ilijas 

Completeness theorems for σ–additive probabilistic semantics   [2020]

Ikodinović, Nebojša  ; Ognjanović, Zoran  ; Perović, Aleksandar; Rašković, Miodrag

Condensational equivalence, equimorphism, elementary equivalence and similar similarities   [2017]

Kurilić, Miloš  ; Morača, Nenad 

Sharp Vaught's conjecture for some classes of partial orders   [2024]

Kurilic, Milos S  

Alternatives to the Halpern-Lauchli theorem   [2023]

Stefanovic, Nedeljko

Changing cofinalities and collapsing cardinals in models of set theory   [2003]

Kurilic, Milos S

Filteri

Po tipu