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