Fundamentos de la teoría de la computabilidad efectiva
1984·no ficcion
Un tratamiento riguroso de la teoría de la computabilidad, centrado en los aspectos efectivos de las funciones y los conjuntos recursivos, desarrollado desde una perspectiva de la escuela matemática rusa.
