The Rules-as Types Interpretations of Schröder-Heister's Extension of Natural Deduction

• Autores: Edward Hauesler, Luiz Carlos Pereira
• Localización: Manuscrito: revista internacional de filosofía, ISSN 0100-6045, Vol. 22, Nº. 2 (OCTUBRE), 1999, págs. 149-163
• Idioma: inglés
• Texto completo no disponible (Saber más ...)