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

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