1. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов.— 4-е изд., исправленное. — М.: МЦНМО, 2012.1.
2. Матросов В.Л. Теория алгоритмов. –М.,1989. –188 с.
3. Мальцев А.И. Алгоритмы и рекурсивные функции. 2–е изд. М. –1986. – 211 с.
4. Новиков П.С. Элементы математической логики. 2–е изд. М. –1973. – 400 с.
5. Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. 2–е изд. М. –1986. –211 с.
6. Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. 2–е изд. М. –1983. –195 с.
7. Martin D. Davis, Ron Sigal, Elaine J. Weyuker, Computability, Complexity, and Languages,  Academic Press 1994
8. Scott Aaronson, Quantum Computing since Democritus, Cambridge University Press, 2013.

9. Д. Кнут, Искусство программирования для ЭВМ, Тома 1-4А, Москва, Вильямс, 2015.

10. T. Cormen, C. Leiserson, R. Rivest, C. Stein, Introduction to Algorithms, 3rd Edition (MIT Press), 2009; Есть русский перевод:

Томас Х. Кормен, Чарльз И. Лейзерсон, Рональд Л. Ривест, Клиффорд Штайн, Алгоритмы: построение и анализ. 3-е издание, Москва Вильямс, 2015.