A Note on the Godel-Gentzen Translation

• Autores: H. Ishihara
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 46, Nº 1, 2000, págs. 135-138
• Idioma: inglés
• Texto completo no disponible (Saber más ...)