Pretraga




Rezultati

A connection between cut elimination and normalization   [2006]

Borisavljević, Mirjana  

Multiplicative finite embeddability vs divisibility of ultrafilters   [2021]

Šobot Boris  

Two measures for proving Gentzen's Hauptsatz without mix   [2003]

Borisavljevic, Mirjana P  

Maximally embeddable components   [2013]

Kurilić, Miloš  

Collapsing ω2 with semi-proper forcing   [2018]

Todorčević, Stevo  

Equality of proofs for linear equality   [2008]

Došen, Kosta  ; Petrić, Zoran  

Sequent calculus for classical logic probabilized   [2018]

Boričić, Marija  

Isomorphic and strongly connected components   [2014]

Kurilić, Miloš  

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

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

Theories with constants and three countable models   [2007]

Tanović, Predrag  

Filteri

Po tipu