A consistency proof for some restrictions of Tait's reflection principles

• Autores: Rupert McCallum
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 59, Nº. 1-2, 2013, págs. 112-118
• Idioma: inglés
• Texto completo no disponible (Saber más ...)