Un Curso de Lógica Matemática
1967·filosofia
Un texto clásico que cubre los fundamentos de la lógica matemática, incluyendo teoría de modelos, teoría de la recursión y teoría de la demostración, sentando las bases para entender los límites de la computación.
