Intuitionistic prepositional logic without 'contraction' but with 'reductio'
- Méndez, J.M.
- Salto, F.
ISSN: 1572-8730, 0039-3215
Ano de publicación: 2000
Volume: 66
Número: 3
Páxinas: 409-418
Tipo: Artigo
ISSN: 1572-8730, 0039-3215
Ano de publicación: 2000
Volume: 66
Número: 3
Páxinas: 409-418
Tipo: Artigo