A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic

• Autores: M. Aghaei, M. Ardeshir
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 46, Nº 2, 2000, págs. 195-206
• Idioma: inglés
• Texto completo no disponible (Saber más ...)