Список литературы

[1] Дж.Булос, Р.Джеффри, Вычислимость и ло­гика. Перевод с английского В. А. Душского и Е.Ю.Ногиной под редакцией С. Н. Артёмова. М.:Мир, 1994. 396 с.

[2] Ю.Л.Ершов, Теория нумераций. М.:Наука, 1977. 416 с. (Серия: Математическая логика и основания математики.)

[3] Н.Катленд, Вычислимость. Введение в теорию рекурсивных   функций.    Перевод   с английского

A. А. Мучника под редакцией С. Ю. Маслова. М.:Мир, 1983. 256 с.

[4] С.К.Клини, Введение в метаматематику. Перевод с английского А. С. Есенина-Вольпина под редакцией

B. А.Успенского. М.:Издательство иностранной ли­тературы, 1957. 526 с.

[5] А.И.Мальцев, Алгоритмы и рекурсивные функции. М.:Наука, 1965. 392 с.

[6] Ю.И. Манин, Вычислимое и невычислимое. М.: Со­ветское радио, 1980. 128 с.

[7] М. Минский, Вычисления и автоматы. Перевод с английского Б. Л. Овсиевича и Л. Я. Розенблюма. М.:Мир, 1971. 366 с.

[8] Х.Роджерс, Теория рекурсивных функций и эф­фективная вычислимость. Перевод с английско­го В. А. Душского, М. И. Кановича и Е.Ю.Ногиной. Под редакцией В. А. Успенского. М.: Мир, 1972. 624 с.

 [9] Справочная книга по математической логике в четырёх частях под редакцией Дж. Барвайса. Часть III. Теория рекурсии. Перевод с английско­го С.Г.Дворникова, И.А.Лаврова. Под редакцией Ю.Л.Ершова. М.:Наука, 1982. 360 с.

[10] В.А.Успенский, Лекции о вычислимых функциях. М.: Физматгиз, 1960. 492 с. (Серия: Математическая логика и основания математики.)

[11] В.А.Успенский, А.Л.Семёнов, Теория алгоритмов: основные открытия и приложения. М.:Наука, 1987. (Серия: Библиотечка программиста.)

[12] Дж. Шенфилд, Степени неразрешимости. Пере­вод с английского И. А. Лаврова. Под редакцией Ю.Л.Ершова. М.:Наука, 1977. 192 с. (Серия: Мате­матическая логика и основания математики.) Кни­га включает в себя в качестве приложения переводы статей К. Е. М. Ейтса, А, X. Лахлана и Л. Фейнера.