Cumulative Higher-Order Logic as a Foundation for Set Theory

• Autores: W. Degen, J. Johannsen
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 46, Nº 2, 2000, págs. 147-170
• Idioma: inglés
• Texto completo no disponible (Saber más ...)