104 problemas resueltos de teoría de la computabilidad, 1975---port. (José F. Prida)
Teorías inseparables, 2004---port. (José F. Prida) solapa (José Fernández-Prida de Carlos (1934-2003); catedrático y dir. del Dptº de Lógica, Facultad de Filosofía, Univ. Complutense Madrid)