Instituciones
Área de conocimientoPortal Institucional (Dialnet CRIS)Identificadores de autorPeriodo de publicación recogido
|
|
|
El revolucionador de la metamatemática
José F. Prida
Números: Revista de didáctica de las matemáticas, ISSN-e 1887-1984, ISSN 0212-3096, Nº. 64, 2006, 6 págs.
A nonstandard approach to arithmetic.
José F. Prida
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, ISSN 1137-2141, Vol. 93, Nº 2, 1999, págs. 227-229
José F. Prida
Revista matemática de la Universidad Complutense de Madrid, ISSN 0214-3577, Vol. 8, Nº 2, 1995, págs. 345-354
José F. Prida
Theoria: an international journal for theory, history and foundations of science, ISSN 0495-4548, Vol. 9, Nº 20, 1994, págs. 185-188
José F. Prida
Revista de filosofía, ISSN-e 1988-284X, ISSN 0034-8244, Nº 8, 1992, págs. 233-234
José F. Prida
Theoria: an international journal for theory, history and foundations of science, ISSN 0495-4548, Vol. 7, Nº 16-18, 1992 (Ejemplar dedicado a: A los 40 años de la apertura de una nueva vertiente en la colaboración filosófico-científica en España y la Comunidad Iberoamericana), págs. 87-90
A direct proof of Gödel's incompleteness theorem
José F. Prida
Collectanea mathematica, ISSN 0010-0757, Vol. 37, Fasc. 1, 1986, págs. 81-83
A non-standard study of the theory of relative recursivity
José F. Prida
Collectanea mathematica, ISSN 0010-0757, Vol. 33, Fasc. 2, 1982, págs. 201-214
Inseparabilidad recursiva y efectiva
José F. Prida
Boletín del Centro de Cálculo de la Universidad Complutense, ISSN 0210-9743, Nº. 38, 1981, págs. 56-60
Una prueba muy simple del teorema de Craig
José F. Prida
Boletín del Centro de Cálculo de la Universidad Complutense, ISSN 0210-9743, Nº. 35, 1979, págs. 1-2
Una nueva prueba del teorema de incompletitud de la aritmética
José F. Prida
Boletín del Centro de Cálculo de la Universidad Complutense, ISSN 0210-9743, Nº. 32, 1978, págs. 1-3
Clases de fórmulas aritméticas en la 1-reducibilidad
José F. Prida, Fernando Orejas Valdés
Boletín del Centro de Cálculo de la Universidad Complutense, ISSN 0210-9743, Nº. 28, 1976, págs. 1-44
El problema de decisión del cálculo de predicados
José F. Prida
Boletín del Centro de Cálculo de la Universidad Complutense, ISSN 0210-9743, Nº. 26, 1975, págs. 1-28
José F. Prida
Boletín del Centro de Cálculo de la Universidad Complutense, ISSN 0210-9743, Nº. 25, 1974, págs. 1-16
Estética cibernética: (Seminario de Generación automática de formas plásticas)
Herbert W. Franke, José F. Prida (trad.)
Boletín del Centro de Cálculo de la Universidad de Madrid, Nº. 12, 1970, págs. 11-15
Una caracterización topológica de las clases elementales
José F. Prida
Calculemos... Matemáticas y libertad: homenaje a Miguel Sánchez-Mazas / coord. por Lorenzo Peña, Javier de Lorenzo Martínez, Javier Echeverría Ezponda; Miguel Sánchez-Mazas Ferlosio (hom.), 1996, ISBN 84-8164-083-2, págs. 223-228
Inmersión versus representación (un estudio heterodoxo de la aritmética)
José F. Prida
Contribuciones matemáticas: libro-homenaje al profesor José Javier Etayo / José Javier Etayo Miqueo (hom.), 1994, ISBN 84-7491-510-4, págs. 179-188
Una versión más fuerte del Teorema de Büchi
José F. Prida
Lógica, epistemología y teoría de la ciencia: seminario de profesorado universitario, 1981, ISBN 84-369-0914-3, págs. 13-18
Teorías recursivas, creativas y productivas
José F. Prida
Coloquio sobre lógica simbólica: Madrid, febrero 1975, 1976, ISBN 84-600-0531-3, págs. 51-66
José F. Prida, Ángel D'Ors, Enrique Gallego Castaño
Marova, 2009. ISBN 978-84-269-0466-9
José F. Prida, José María Martínez Ansemil, A. E. Gallego Palomero, Ángel D'Ors
Trotta, 2004. ISBN 84-8164-731-4
104 problemas resueltos de teoría de la computabilidad
José F. Prida, Fernando Orejas Valdés
[Madrid, Universidad Complutense, Servicio de Publicaciones, 1975]. ISBN 84-600-6652-5
Una prueba algebráica (sic) de los teoremas de Skölen-Lowenheim y Gödel
José F. Prida
Madrid : Centro de Cálculo de la Universidad, [1973]. ISBN 84-600-5847-6
Técnicas de demostración de indecibilidad e inseparabilidad en teorías formales
Tesis doctoral dirigida por José F. Prida (dir. tes.). Universidad Complutense de Madrid (2001).
Conceptos temporales para el estudio del comportamiento de programas
Tesis doctoral dirigida por José F. Prida (dir. tes.). Universidad Complutense de Madrid (1984).
Una teoría de tipos estructurados de datos
Tesis doctoral dirigida por José F. Prida (dir. tes.). Universidad Complutense de Madrid (1980).
Conjuntos [pi]1 1 completos e hiperaritméticos
Tesis doctoral dirigida por José F. Prida (dir. tes.). Universidad Complutense de Madrid (1974).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. 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.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados