Intuitionistic prepositional logic without 'contraction' but with 'reductio'
- Méndez, J.M.
- Salto, F.
ISSN: 1572-8730, 0039-3215
Argitalpen urtea: 2000
Alea: 66
Zenbakia: 3
Orrialdeak: 409-418
Mota: Artikulua
ISSN: 1572-8730, 0039-3215
Argitalpen urtea: 2000
Alea: 66
Zenbakia: 3
Orrialdeak: 409-418
Mota: Artikulua