Intuitionistic prepositional logic without 'contraction' but with 'reductio'
- Méndez, J.M.
- Salto, F.
ISSN: 1572-8730, 0039-3215
Année de publication: 2000
Volumen: 66
Número: 3
Pages: 409-418
Type: Article
Revue:
Studia Logica