Introduction to Metamathematics

Stephen Cole Kleene—1971

Examen profundo de la lógica matemática y la computabilidad, clave en el desarrollo de las ciencias computacionales. Explora los límites de los sistemas formales y la lógica, demostrando verdades incomprensibles para los humanos.