Extending constructive operational set theory by impredicative principles

• Autores: Andrea Cantini
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 57, Nº. 3, 2011, págs. 299-322
• Idioma: inglés
• Texto completo no disponible (Saber más ...)