Список литературы:

Учебники и учебные пособия:

1. Гудстейн Р.Л. Математическая логика. – М. : ИЛ, 1961. -162 с

2. Ершов Ю.Л., Палютин Е.А., Математическая логика: Учебное пособие. 3-е изд., стер. – СПб. : изд-во «Лань», 2004.- 336с.

3. Колмогоров А.Н., Драгалин А.Г. Математическая логика. – М: Едиториал УРСС, 2004.-240с

4. Кондаков Н.И. Логический словарь – справочник. – М. : Наука, 1975.-720с.

5. Клини С.К. Математическая логика. – М.: Мир, 1973.-480с.

6. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. – М.: Энергоатомиздат, 1988.-480с.

7. Мендельсон Э. Введение в математическую логику. – М. :Наука, 1971.-320с

8. Нефедов В.Н., Осипова В.А. .Курс дискретной математики :Учебное пособие. – М.: изд-во МАИ, 1992.-264с.

9. Новиков П.С. Элементы математической логики.: М. :Наука, 1973.-400с.

10. Пензов Ю.Е. Элементы математической логики и теории множеств. Саратов: из-во Саратовского университета., 1967.-143с.

11. Слупецкий Е., Борковский Л. Элементы логики и теории множеств. –М.: Прогресс, 1965. – 368с.

12. Столяр А.А. Логическое введение в математику. –Минск, Высшая школа, 1971.-223с.

13. Столл Р.Р. Множество. Логика. Аксиоматические теории. – М.: Просвещение. 1968.-231с.

14. Чёрч А. Введение в математическую логику. – М.: ИЛ, 1960.-485с.

15. Шенфилд. Математическая логика. – М.: Наука, 1975.-527с

16. Шиханович Е.А. Введение в современную математику. – М.: Наука, 1965.-376с.

17. Эдельман С.Л. Математическая логика. Учебное пособие для институтов. – М. Высшая школа, 1975.-176с.

Задачники:

1. Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике. – М.: Наука, 1977.-368с.

2. Гиндикин С.Г. Алгебра логики в задачах. – М.: Наука, 1972.-288с.

3. Гохман А.В. и др. Сборник задач по математической логике и алгебре множеств. – Саратов: изд-во Саратовского университета, 1965.-86с.

4. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. –М.: Наука, 1984.-240с.

53