Computability: An Introduction to Recursive Function Theory
1980·no ficcion
Este texto aborda la teoría de la computabilidad y las funciones recursivas desde una perspectiva más matemática y lógica, sentando las bases para comprender qué puede y qué no puede ser calculado por cualquier máquina.

