Учебное пособие. — М.: Инфра-М, 2016. — 399 с. + CD-R. — (Высшее образование). — ISBN 978-5-16-005204-5.Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа,
охарактеризованы взаимосвязи математической логики с компьютерами и информатикой.
Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика», «Математик-педагог», «Учитель математики» на уровнях бакалавриата, магистратуры, а также специалитета.Содержимое CD-R диска представляет собой рабочую тетрадь. Для облегчения эта рабочая тетрадь добавлена в файл, как приложение.
