An unexpected separation result in Linearly Bounded Arithmetic

• Autores: A. Beckmann, J. Johannsen
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 51, Nº 2, 2005, pág. 191
• Idioma: inglés
• Texto completo no disponible (Saber más ...)