Francisco Félix Lara Martín

• Artículos de revistas (1)
• Colaboraciones en obras colectivas (2)
• Libros (1)
• Tesis (1)

• Artículos de revistas

  • Seleccionado

    A note on parameter free N1-induction and restricted exponentiation

    Andrés Cordón Franco , Alejandro Fernández Margarit , Francisco Félix Lara Martín

    Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 57, Nº. 5, 2011, págs. 444-455

    • Texto completo
    

• Colaboraciones en obras colectivas

  • Seleccionado

    Funciones recursivas y fragmentos de la aritmética

    Alejandro Fernández Margarit , Francisco Félix Lara Martín

    Actas del Encuentro de Matemáticos Andaluces / coord. por Emilio Briales Morales , Alfonso Carriazo Rubio , Tomás Chacón Rebollo , Pedro Real Jurado , Alvaro Romero Jiménez, Vol. 2, 2001 (Comunicaciones), ISBN 84-472-0290-9, págs. 429-436

    
  • Seleccionado

    Some results on (Delta)n(T)-induction

    Alejandro Fernández Margarit , Francisco Félix Lara Martín

    The bulletin of the workshop on model theory and complexity: Sevilla del 21 al 23 de septiembre de 1995 / coord. por Joaquín Borrego Díaz , Francisco José Salguero Lamillar, 1997, ISBN 84-88620-08-X, págs. 43-73

    

• Libros

  • Seleccionado

    JAF 26

    Andrés Cordón Franco , Alejandro Fernández Margarit , Francisco Félix Lara Martín

    Fénix, 2008. ISBN 978-84-612-1820-2

    

• Tesis

  • Seleccionado

    Inducción y recursión: las teorías I delta N+1(T)

    Francisco Félix Lara Martín

    Tesis doctoral dirigida por Alejandro Fernández Margarit (dir. tes.) . Universidad de Sevilla (2000).

    • Resumen
    • Tesis en acceso abierto en: Idus
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.