\label{bibliography}
\bibitem{boolos-jeffrey}
        %
Дж.\,Булос, Р.\,Джеффри, \textit{Вычислимость и логика.}
Перевод с английского В.\,А.\,Душского и Е.\,Ю.\,Ногиной под
редакцией С.\,Н.\,Артёмова.
М.:\,Мир, 1994.\ 396~с.

\bibitem{ershov}
        %
Ю.\,Л.\,Ершов, \textit{Теория нумераций.}
М.:\,Наука, 1977.\ 416~с.
(Серия: Математическая логика и основания математики.)

\bibitem{catland}
        %
Н.\,Катленд, \textit{Вычислимость. Введение в теорию
рекурсивных функций.}
Перевод с английского А.\,А.\,Мучника под редакцией
С.\,Ю.\,Маслова.
М.:\,Мир, 1983.\ 256~с.

\bibitem{kleene}
        %
С.\,К.\,Клини, \textit{Введение в метаматематику.}
Перевод с английского А.\,С.\,Есенина\д Вольпина
под редакцией В.\,А.\,Успенского. М.:\,Издательство
иностранной литературы, 1957.\ 526~с.

\bibitem{maltsev}
        %
А.\,И.\,Мальцев, \textit{Алгоритмы и рекурсивные функции.}
М.:\,Наука, 1965.\ 392~с.

\bibitem{manin}
        %
Ю.\,И.\,Манин, \textit{Вычислимое и невычислимое.}
М.:\,Со\-ветс\-кое радио, 1980.\ 128~с.

\bibitem{minsky}
        %
М.\,Минский, \textit{Вычисления и автоматы.}
Перевод с английского Б.\,Л.\,Овсиевича и Л.\,Я.\,Розенблюма.
М.:\,Мир, 1971.\ 366~с.

\bibitem{rogers}
        %
Х.\,Роджерс, \textit{Теория рекурсивных функций и эффективная
вычислимость.}
Перевод с английского В.\,А.\,Душского, М.\,И.\,Кановича
и Е.\,Ю.\,Ногиной. Под редакцией В.\,А.\,Успенского.
М.:\,Мир, 1972.\ 624~с.

\pagebreak

\bibitem{handbook-recursion}
        %
\textit{Справочная книга по математической логике в четырёх частях под
редакцией Дж.\,Барвайса. Часть III. Теория рекурсии.}
Перевод с английского С.\,Г.\,Дворникова, И.\,А.\,Лаврова.
Под редакцией Ю.\,Л.\,Ершова.
М.:\,Наука, 1982.\ 360~с.

\bibitem{uspensky}
        %
В.\,А.\,Успенский, \textit{Лекции о вычислимых функциях.}
М.:\,Физматгиз, 1960.\ 492~с.
(Серия: Математическая логика и основания математики.)

\bibitem{uspensky-semenov}
        %
В.\,А.\,Успенский, А.\,Л.\,Семёнов, \textit{Теория алгоритмов\textnormal{:}
основные открытия и приложения.}
М.:\,Наука, 1987.
(Серия: Библиотечка программиста.)

\bibitem{shoenfield-degrees}
        %
Дж.\,Шенфилд, \textit{Степени неразрешимости.}
Перевод с английского И.\,А.\,Лаврова. Под редакцией Ю.\,Л.\,Ершова.
М.:\,Наука, 1977.\ 192~с.
(Серия: Математическая логика и основания математики.)
Книга включает в себя в качестве приложения переводы статей
К.\,Е.\,М.\,Ейтса, А,\,Х.\,Лахлана и Л.\,Фейнера.




