Эта книга является учебным пособием по математической логике и теории алгоритмов. Она написана на основе материалов курса "Дискретный анализ", читаемого многие годы для студентов факультета управления и прикладной математики Московского физико-технического института.
Для студентов, специализирующихся на прикладной математике. Это и многое другое вы найдете в книге Дискретный анализ. Формальные системы и алгоритмы (Ю. И. Журавлев, Ю. А. Флеров, М. Н. Вялый)