Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics

• Autores: Zofia Adamowicz, Konrad Zdanowski
• Localización: Fundamenta mathematicae, ISSN 0016-2736, Vol. 212, Nº 3, 2011, págs. 191-216
• Idioma: inglés
• DOI: 10.4064/fm212-3-1
• Texto completo no disponible (Saber más ...)