Publicacións nas que colabora con JOSÉ FERNÁNDEZ-PRIDA DE CARLOS (26)

2009

  1. Lógica matemática

    Marova

2006

  1. El revolucionador de la metamatemática

    Números: Revista de didáctica de las matemáticas, Núm. 64

2004

  1. Teorías inseparables

    Trotta

1999

  1. A nonstandard approach to arithmetic.

    Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, Vol. 93, Núm. 2, pp. 227-229

1996

  1. Una caracterización topológica de las clases elementales

    Calculemos... Matemáticas y libertad: homenaje a Miguel Sánchez-Mazas (Servicio de Publicaciones), pp. 223-228

1995

  1. Aleatoreidad e inmunidad

    Revista matemática de la Universidad Complutense de Madrid, Vol. 8, Núm. 2, pp. 345-354

1994

  1. Inmersión versus representación (un estudio heterodoxo de la aritmética)

    Contribuciones matemáticas: libro-homenaje al profesor José Javier Etayo (Complutense), pp. 179-188

  2. Números superaleatorios

    Theoria: an international journal for theory, history and foundations of science, Vol. 9, Núm. 20, pp. 185-188

1992

  1. Un problema indecidible

    Revista de filosofía, Núm. 8, pp. 233-234

  2. Un teorema de multirrecursión

    Theoria: an international journal for theory, history and foundations of science, Vol. 7, Núm. 16, pp. 87-90

1986

  1. A direct proof of Gödel's incompleteness theorem

    Collectanea mathematica, Vol. 37, Fasc. 1, pp. 81-83

1982

  1. A non-standard study of the theory of relative recursivity

    Collectanea mathematica, Vol. 33, Fasc. 2, pp. 201-214

1981

  1. Inseparabilidad recursiva y efectiva

    Boletín del Centro de Cálculo de la Universidad Complutense, Núm. 38, pp. 56-60

  2. Una versión más fuerte del Teorema de Büchi

    Lógica, epistemología y teoría de la ciencia: seminario de profesorado universitario (Madrid : Ministerio de Educación y Ciencia, 1981), pp. 13-18

1979

  1. Una prueba muy simple del teorema de Craig

    Boletín del Centro de Cálculo de la Universidad Complutense, Núm. 35, pp. 1-2

1978

  1. Una nueva prueba del teorema de incompletitud de la aritmética

    Boletín del Centro de Cálculo de la Universidad Complutense, Núm. 32, pp. 1-3

1977

  1. Generalización del teorema de la forma normal de Kleene al caso de la recursividad relativa

    Boletín del Centro de Cálculo de la Universidad Complutense, Núm. 30, pp. 1-15

1976

  1. Clases de fórmulas aritméticas en la 1-reducibilidad

    Boletín del Centro de Cálculo de la Universidad Complutense, Núm. 28, pp. 1-44

  2. Teorías recursivas, creativas y productivas

    Coloquio sobre lógica simbólica: Madrid, febrero 1975

1975

  1. 104 problemas resueltos de teoría de la computabilidad

    [Madrid, Universidad Complutense, Servicio de Publicaciones, 1975]