Журавлев Ю.И., Флеров Ю.А., Вялый М.Н. Дискретный анализ. Формальные системы и алгоритмы

Учебное пособие. — М.: Контакт Плюс, 2010. — 336 с.: ил. — ISBN 978–5–86567–092–1. Эта книга является учебным пособием по математической логике и теории алгоритмов. Она написана на основе
материалов курса «Дискретный анализ», читаемого многие годы для студентов факультета управления и прикладной
математики Московского физико-технического института.
Для студентов, специализирующихся на прикладной математике.