Intuitionistic Choice and Restricted Classical Logic

• Autores: U. Kohlenbach
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 47, Nº 4, 2001, págs. 455-460
• Idioma: inglés
• DOI: 10.1002/1521-3870(200111)47:4<455::aid-malq455>3.0.co;2-#
• Texto completo no disponible (Saber más ...)