Pretraga
Rezultati
RETRACTIONS OF REVERSIBLE STRUCTURES [2017]
Kurilić, Miloš
On kueker's conjecture [2012]
Tanović, Predrag
Cartesian isomorphisms are symmetric monoidal: A justification of linear logic [1999]
Došen, Kosta ; Petrić, Zoran
Generality of proofs and its brauerian representation [2003]
Došen, Kosta ; Petrić, Zoran
Power collapsing games [2008]
Šobot Boris ; Kurilić M.S.
Cohen-stable families of subsets of integers [2001]
Kurilic, Milos SUniqueness, definability and interpolation [1988]
Došen, Kosta
Generically stable regular types [2015]
Tanović, Predrag
A hierarchy of tree-automatic structures [2012]
O Finkel; Todorčević, Stevo
Filteri
Po tipu
- 28