Претрага
Резултати
Conjectures of Rado and Chang and special Aronszajn trees [2012]
V Torres-Perez; Todorčević, Stevo
On definability of types of finite Cantor-Bendixson rank [2011]
Tanović, Predrag
Semigroups with apartness
[2013]
Crvenković, Siniša ; Mitrović, Melanija ; Romano, Daniel Abraham
Simple characterization of functionally complete one-element sets of propositional connectives
[2006]
Maksimović, Petar; Janičić, Predrag
Isomorphic formulae in classical propositional logic [2012]
Došen, Kosta ; Petrić, Zoran
An alternative Gentzenisation of RW+∘ [2016]
Ilić, Mirjana
Barwise Completeness Theorems for Some Biprobability Logics [1986]
Rašković, Miodrag; Živaljević, Rade
On the structure of kripke models of heyting arithmetic [1993]
Marković, ZoranA note on an alternative Gentzenization of RW◦ +
[2021]
Ilić, Mirjana
Rado's Conjecture and ascent paths of square sequences [2014]
V Torres-Perez; Todorčević, Stevo
Филтери
По типу
- 26