Intuitionistic prepositional logic without 'contraction' but with 'reductio'
- Méndez, J.M.
- Salto, F.
ISSN: 1572-8730, 0039-3215
Datum der Publikation: 2000
Ausgabe: 66
Nummer: 3
Seiten: 409-418
Art: Artikel
ISSN: 1572-8730, 0039-3215
Datum der Publikation: 2000
Ausgabe: 66
Nummer: 3
Seiten: 409-418
Art: Artikel