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

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