Теория рекурсивных функций и эффективная вычислимость (pdf)

Х. Роджерс, Владимир Андреевич Успенский, В. А. Душский, М. И. Канович, Е. Ю. Ногина