Classical truth in higher types

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