Претрага
Резултати
A Completeness Theorem for the Lambek Calculus of Syntactic Categories [1985]
Došen, Kosta
The maximility of Cartesian categories [2001]
Došen, Kosta ; Petrić, Zoran
A characterization of retracts in certain Fraïssé limits [2012]
Dolinka, Igor
Cofinal types on ω2 (✓) [2023]
Kuzeljević, Boriša ; Todorčević, Stevo
The maximality of cartesian categories [2001]
Došen, Kosta ; Petrić, Zoran
A p-adic probability logic (✓) [2012]
Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša ; Perović, Aleksandar
Biprobability logic with conditional expectation (✓) [2011]
Ristić, Vladimir ; Đorđević, Radosav; Ikodinović, Nebojša
A probabilistic extension of intuitionistic logic [2003]
Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag
A 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
Филтери
По типу
- 25