Excluded Middle versus Choice in a topos

• Autores: B. Banaschewski
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 51, Nº 3, 2005, pág. 282
• Idioma: inglés
• Texto completo no disponible (Saber más ...)