Instituciones
Área de conocimientoIdentificadores de autorPeriodo de publicación recogido
|
|
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
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
Alejandro Fernández Margarit
Matemática española en los albores del siglo XXI, 2000, ISBN 84-95319-10-1, págs. 161-224
Joaquín Borrego Díaz , Alejandro Fernández Margarit, Mario de Jesús Pérez Jiménez
Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] / Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (aut.), Eugenio de Bustos Tovar (dir. congr.), Javier Echeverría Ezponda (dir. congr.) , Eulalia Pérez Sedeño (dir. congr.), María Isabel Sánchez Balmaseda (dir. congr.), 1997, ISBN 84-604-8342-8, págs. 122-127
Las teorías $I\Delta_n$ e $I\nabla_n$
Joaquín Borrego Díaz , Alejandro Fernández Margarit, Mario de Jesús Pérez Jiménez
Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] / Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (aut.), Eugenio de Bustos Tovar (dir. congr.), Javier Echeverría Ezponda (dir. congr.) , Eulalia Pérez Sedeño (dir. congr.), María Isabel Sánchez Balmaseda (dir. congr.), 1997, ISBN 84-604-8342-8, págs. 128-131
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
Introducción a la teoría de la complejidad
Mario de Jesús Pérez Jiménez , Alejandro Fernández Margarit
Lógica formal: Orígenes, métodos y aplicaciones / coord. por Ángel Nepomuceno Fernández , 1995, ISBN 84-88620-56-X, págs. 149-187
José Antonio Alonso Jiménez , Alejandro Fernández Margarit, Mario de Jesús Pérez Jiménez
Lógica formal: Orígenes, métodos y aplicaciones / coord. por Ángel Nepomuceno Fernández , 1995, ISBN 84-88620-56-X, págs. 189-211
Automatización de la aritmética
Juan José Arrabal Parrilla , Alejandro Fernández Margarit, José Antonio Alonso Jiménez , Mario de Jesús Pérez Jiménez
Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) / coord. por Carlos Martín Vide , 1994, ISBN 84-477-0396-7, págs. 167-182
Extensiones cofinales de modelos de la Aritmética
Alejandro Fernández Margarit, Mario de Jesús Pérez Jiménez , Joaquín Borrego Díaz
Lenguajes naturales y lenguajes formales : actas del IX congreso de lenguajes naturales y lenguajes formales : (Reus, 20-22 de diciembre de 1993) / coord. por Carlos Martín Vide , 1993, ISBN 84-477-0264-2, págs. 273-278
"Splitting" en fragmentos del máximo
Alejandro Fernández Margarit, Mario de Jesús Pérez Jiménez , Joaquín Borrego Díaz
Lenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992) / coord. por Carlos Martín Vide , 1992, ISBN 84-477-0002-X, págs. 221-227
Representación de modelos no-estándar de sublenguajes de la aritmética
Alejandro Fernández Margarit, José Antonio Alonso Jiménez
Lenguajes naturales y lenguajes formales : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988) / coord. por Carlos Martín Vide , Vol. 2, 1989, ISBN 84-7665-517-7, págs. 441-464
Representación de modelos no-estándar de sublenguajes de la aritmética
José Antonio Alonso Jiménez , Alejandro Fernández Margarit
Lenguajes naturales y lenguajes formales IV: vol 2. / coord. por Carlos Martín Vide , 1989, ISBN 8476655177, págs. 441-464
Andrés Cordón Franco , Alejandro Fernández Margarit, Francisco Félix Lara Martín
Fénix, 2008. ISBN 978-84-612-1820-2
Una extensión de métodos algebraicos a la teoría de modelos
Alejandro Fernández Margarit
Tesis doctoral dirigida por Luis María Laita de la Rica (dir. tes.) . Universidad de Sevilla (1983).
Extensiones de fragmentos de la aritmética
Tesis doctoral dirigida por Alejandro Fernández Margarit (dir. tes.). Universidad de Sevilla (2003).
Inducción y recursión: las teorías I delta N+1(T)
Tesis doctoral dirigida por Alejandro Fernández Margarit (dir. tes.). Universidad de Sevilla (2000).
Tesis doctoral dirigida por Alejandro Fernández Margarit (dir. tes.). Universidad de Sevilla (1994).
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.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados