A note on parameter free N1-induction and restricted exponentiation

• Autores: Andrés Cordón Franco, Alejandro Fernández Margarit, Francisco Félix Lara Martín
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 57, Nº. 5, 2011, págs. 444-455
• Idioma: inglés
• Enlaces
  • Texto completo