СПб.:Лань, 2009. — 396 с. — 6-е изд. — ISBN: 9785811405701
В книге изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем, теории автоматов. По сравнению с изданием 1988 г. заново написаны разделы по теории графов и сложности вычислений.
Пособие предназначено инженерам, которые специализируются в области автоматизированного управления и проектирования, информационных технологий, вычислительной техники, передачи информации, а также для студентов и аспирантов соответствующих специальностей.