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

1. Босс В. Лекции по математике. Т. 6: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя: учеб. пособие. – М.: Книжный дом «ЛИБРОКОМ», 2012. – 208 с.
2. Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. – 4-е изд., испр. – М.: МЦНМО, 2012. – 240 с.
3. Игошин В.И. Математическая логика и теория алгоритмов. – 2-е изд., стереотип. – М.: Академия, 2008. – 448 с.
4. Колмогоров А.Н., Драгалин А.Г. Математическая логика / 3-е изд. – М.: КомКнига, 2006. – 240 с.
5. Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Курс лекций. 3адачник-практикум и решения. Серия «Учебники для вузов. Специальная литература». – СПб.: Издательство «Лань», 1999. – 288 с.
6. Столл Р. Множества. Логика. Аксиоматические теории. – М.: Просвещение, 1968. – 231 с.
7. Успенский В.А. Вводный курс математической логики / В.А. Успенский, Н.К. Верещагин, В.Е. Плиско. – М.: ФИЗМАТЛИТ, 2004. – 128 с.
8. Успенский В.А. Предисловие к математике: [сборник статей] / В.А. Успенский. – СПб.: Амфора, 2015. – 474 с.