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
Ano de publicación: 2003
Volume: 22
Número: 1-2
Páxinas: 43-54
Tipo: Artigo
Outras publicacións en: Teorema: Revista internacional de filosofía