Dialectica interpretation of well-founded induction

• Autores: Helmut Schwichtenberg
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 54, Nº. 3, 2008, págs. 229-239
• Idioma: inglés
• Texto completo no disponible (Saber más ...)