Problemas algorítmicos en las matemáticas ii (1964)
Las máquinas de Turing / Funciones recursivas