Brouwer's fan theorem and unique exisence in constructive analysis

• Autores: J. Berger, H. Ishihara
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 51, Nº 4, 2005, pág. 360
• Idioma: inglés
• DOI: 10.1002/malq.200410038
• Texto completo no disponible (Saber más ...)