5. Рекомендуемая литература (основная и дополнительная)

Основная

1. Тимофеева И.Л. Математическая логика. Курс лекций: учебное пособие. - М.: КДУ, 2007. – 304 с. (Допущено Учебно-методическим объединением по специальностям педагогического образования).

2. Судоплатов С.В., Овчинникова Е.В. Математическая логика и теория алгоритмов: Учебник для вузов. – М.: ИНФРА-М; Новосибирск: НГТУ, 2004. – 224 с. (Рекомендовано Министерством образования и науки Российской Федерации).

3. Игошин В.И. Математическая логика и теория алгоритмов: Учебное пособие для студентов вузов. – М.: Академия, 2004. – 448 с. (Допущено Министерством образования и науки Российской Федерации).

4. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов: Учебное пособие для студентов вузов. – М.: Академия, 2005. – 304 с. (Допущено Министерством образования и науки Российской Федерации).

5. Ершов Ю.А., Палютин Е.А. Математическая логика: Учебное пособие для студентов вузов. – СПб.: Лань, 2007. – 336 с. (Допущено Министерством образования и науки Российской Федерации).

6. Кадченко А.И. Алгебра и исчисление высказываний: Учебное пособие для студентов вузов. – Магнитогорск, МаГУ, 2007. – 80 с.

Дополнительная

1. Лихтарников Л.М., Сукачева Т.Г. Математическая логика. – СПб.: Лань, 2008. - 277 с.

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

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

4. Москинова Г.И. Дискретная математика. – М.: Логос, 2000. – 239 с.