Lógica matemática

José F. Prida de Carlos (1934-2003), Doctor en Ciencias Matemáticas y Licenciado en Informática, fue Catedrático de Lógica en la Facultad de Filosofía de la Universidad Complutense entre los años 1986 y 2003, de cuyo Departamento de Lógica y Filosofía de la Ciencia fue Director entre los años 1990 y 2003.
Tras ampliar estudios de Lógica en Bonn y Freiburg junto a Gisbert Hasenjaeger y Hans Hermes, orientó su investigación hacia el ámbito de la «Teoría de la Computabilidad», habiendo sido uno de los fundadores de la especialidad de Ciencias de la Computación de la Facultad de Matemáticas de la Universidad Complutense. Entre sus publicaciones, centradas en cuestiones relativas a la «Teoría de la recursión» y a los «Fundamentos de la matemática», cabe destacar Teorías inseparables (2004).