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
Année de publication: 2003
Volumen: 22
Número: 1-2
Pages: 43-54
Type: Article
D'autres publications dans: Teorema: Revista internacional de filosofía