Аляев Ю.А. Тюрин
С.Ф. Дискретная математика и математическая
логика. – М.: Финансы и статистика,
2006. – 368 с.
Бочаров В.А., Маркин
В.И. «Основы логики: Учебник для вузов». –
М.: Инфра-М, 2002.
Войшвенко Е.К.,
Дегтярев М.Г. «Логика: Учебник для
вузов». – М.: Владос-пресс, 2001.
Германова А.Д.
«Логика: Словарь и задачник: Учебное
пособие для студентов вузов». – М.:
Владос-пресс, 1998.
Гуц А.К. Математическая
лоrика и теория алrоритмов. – Омск:
Издательство Наследие. Диалог-Сибирь,
2003. – 108 с.
Иванов Е.А. «Логика:
Учебник для юридических вузов». –
М.: Бек, 1996.
Ивин А.А. «Логика.
Учебник для гуманитарных факультетов». –
М.: Фаир-пресс, 1999.
Ивлев Ю.В. «Логика» –
Москва, 1998.
Логика. Учебное
пособие для студентов вузов. –
Ростов-на-Дону. Изд. «Феникс», 1996.
Марков А. А., Нагорный
Н. М. Теория алгорифмов, изд. 2. – М.:
ФАЗИС, 1996.
Марков А. А. Элементы
математической логики. – М.: Изд-во
МГУ, 1984.
Свободная
онлайн-энциклопедия Википедия
[Электронный ресурс]. – Режим доступа:
http://ru.wikipedia.org/
Судоплатов С.В.,
Овчинникова Б.В. Математическая логика
и теория алгоритмов: Учебник – М.:
ИНФРА-М; Новосибирск: Изд-во НГТУ, 2004.
– 224 с. – (Высшее образование).
В.А. Успенский, А.Л.
Семёнов Теория алгоритмов: основные
открытия и приложения – М., Наука,
1987, 288 c.