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
Year of publication: 2003
Volume: 22
Issue: 1-2
Pages: 43-54
Type: Article
More publications in: Teorema: Revista internacional de filosofía