Pretraga




Rezultati

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  

On definability of types of finite Cantor-Bendixson rank   [2011]

Tanović, Predrag  

Conjectures of Rado and Chang and special Aronszajn trees   [2012]

V Torres-Perez; Todorčević, Stevo  

Semigroups with apartness   [2013]

Crvenković, Siniša ; Mitrović, Melanija  ; Romano, Daniel Abraham

Intuitionistic Propositional Probability Logic   [2022]

Ilić-Stepić, Angelina  ; Knežević, Mateja ; Ognjanović, Zoran  

Barwise Completeness Theorems for Some Biprobability Logics   [1986]

Rašković, Miodrag; Živaljević, Rade  

A characterization of retracts in certain Fraïssé limits   [2012]

Dolinka, Igor  

The maximility of Cartesian categories   [2001]

Došen, Kosta  ; Petrić, Zoran

Filters

By type