Конечные автоматы: эквивалентность и поведение
Дискретная математика: учебник для студентов вузов
Основы комбинаторной топологии
Алгебра логики
Статистические модели в инженерных задачах
Теория графов
Дискретная математика и математические вопросы кибернетики. Том 1
Применение генетических алгоритмов к решению задач дискретной оптимизации
Алгебра логики в задачах
Математическая логика и автоматическое доказательство теорем
Сборник задач по дискретной математике
Теория рекурсивных функций и эффективная вычислимость
Дискретная математика для программистов
Введение в дискретную математику: Учебное пособие для вузов
Если бы у Эйлера был компьютер. Решаем сложные и олимпиадные задачи
Задача трех станков