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
Any de publicació: 2003
Volum: 22
Número: 1-2
Pàgines: 43-54
Tipus: Article
Altres publicacions en: Teorema: Revista internacional de filosofía