On the computational content of the Bolzano-Weierstraß Principle

• Autores: Pavol Safarik, Ulrich Kohlenbach
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 56, Nº. 5, 2010, págs. 508-532
• Idioma: inglés
• Texto completo no disponible (Saber más ...)