Претрага




Резултати

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  

G-dinaturality   [2003]

Petrić, Zoran  

Coherence for star-autonomous categories   [2006]

Došen, Kosta  ; Petrić, Zoran  

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  

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

Lamei Ramandi, Hossein; Todorčević, Stevo  

Филтери

По типу