Рекомендуемая литература к главе 7

1. Андерсон Д. Дискретная математика и комбинаторика / Д. Андерсон. – М.: Вильямс, 2003. – 960 с.
2. Босс В. Лекции по математике. Т. 10: Перебор и эффективные алгоритмы: учеб. пособие. – М.: Издательство ЛКИ, 2008. – 216 с.
3. Дасгупта С. Алгоритмы / С. Дасгупта, Х. Пападимитриу, У. Вазирани. – М.: МЦНМО, 2014. – 320 с.
4. Игошин В.И. Математическая логика и теория алгоритмов. – 2-е изд., стереотип. – М.: Академия, 2008. – 448 с.
5. Катленд Н. Вычислимость. Введение в теорию рекурсивных функций / Н. Катленд. – М.: Мир, 1983. – 256 с.
6. Кормен Т. Алгоритмы: построение и анализ / Т. Кормен, Ч. Лейзерсон, Р. Ривест. – М.: МЦНМО, 2001. – 960 с.
7. Мендельсон Э. Введение в математическую логику / Э. Мендельсон. – М.: Наука, 1976. – 320 с.
8. Справочная книга по математической логике: в 4 ч. : пер. с англ. / под ред. Дж. Барвайса. – М.: Наука, 1982. – Ч. 3: Теория рекурсии. – 360 с.