Update Procedures and the 1-Consistency of Arithmetic

• Autores: J. Avigad
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 48, Nº 1, 2002, págs. 3-14
• Idioma: inglés
• Texto completo no disponible (Saber más ...)