Претрага




Резултати

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  

The poset of all copies of the random graph has the 2-localization property   [2016]

Kurilić, Miloš  ; Todorčević, Stevo  

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 

Can you take Komjath's inaccessible away?   [2024]

Lamei Ramandi, Hossein; Todorčević, Stevo  

Probabilistic temporal logic with countably additive semantics   [2023]

Doder, Dragan; Ognjanović, Zoran  

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 

Филтери

По типу