Search
Research outputs
Axiomatizations of intuitionistic double negation [1983]
Došen, Kosta
; Božić, Milan
Cut elimination in adjunction [1999]
Došen, Kosta
Cut elimination in adjuncion [1999]
Došen, Kosta
An alternative natural deduction for the intuitionistic propositional logic [2016]
Isaković-Ilić, Mirjana
Filteri
Po tipu
- 4