A generalization of conservativity theorem for classical versus intuitionistic arithmetic

• Autores: S. Berardi
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 50, Nº 1, 2004, pág. 41
• Idioma: inglés
• Texto completo no disponible (Saber más ...)