Intuitionistic Propositional Logic with the Converse Ackermann Property
- Méndez Rodríguez, José Manuel
- Méndez R., P.
- Robles Vázquez, Gemma
ISSN: 0210-1602
Año de publicación: 2003
Volumen: 22
Número: 1-2
Páginas: 43-54
Tipo: Artículo
Otras publicaciones en: Teorema: Revista internacional de filosofía