Учебник для студ. учреждений сред. проф. образования. — 7-е изд., стер. — М.: Академия, 2012. — 368 с. — ISBN: 978-5-7695-8592-0.
Учебник содержит теоретический материал по традиционным темам дискретной математики и некоторые вопросы классической логики. В каждой главе есть исторический материал, разобранные задачи с указанием методов их решений, система упражнений для самостоятельной работы.
Для студентов учреждений среднего профессионального образования, обучающихся по специальностям «Автоматизированные системы обработки информации и управления (по отраслям)» и «Программное обеспечение вычислительной техники и автоматизированных систем».