Search
Research outputs
A note on an alternative Gentzenization of RW◦ +
[2021]
Ilić, Mirjana 
A characterization of retracts in certain Fraïssé limits [2012]
Dolinka, Igor
A Completeness Theorem for the Lambek Calculus of Syntactic Categories [1985]
Došen, Kosta
Rado's Conjecture and ascent paths of square sequences [2014]
V Torres-Perez; Todorčević, Stevo
Simple characterization of functionally complete one-element sets of propositional connectives
[2006]
Maksimović, Petar; Janičić, Predrag
Semigroups with apartness
[2013]
Crvenković, Siniša ; Mitrović, Melanija ; Romano, Daniel Abraham
An alternative Gentzenisation of RW+∘ [2016]
Ilić, Mirjana
Isomorphic formulae in classical propositional logic [2012]
Došen, Kosta ; Petrić, Zoran
Barwise Completeness Theorems for Some Biprobability Logics [1986]
Rašković, Miodrag; Živaljević, Rade
On the structure of kripke models of heyting arithmetic [1993]
Marković, ZoranФилтери
По типу
- 26