Intuitionistic prepositional logic without 'contraction' but with 'reductio'
- Méndez, J.M.
- Salto, F.
ISSN: 1572-8730, 0039-3215
Año de publicación: 2000
Volumen: 66
Número: 3
Páginas: 409-418
Tipo: Artículo
ISSN: 1572-8730, 0039-3215
Año de publicación: 2000
Volumen: 66
Número: 3
Páginas: 409-418
Tipo: Artículo