Алгебра логики
Математическая логика
Алгебра логики в задачах
Математическая логика и автоматическое доказательство теорем
Математические основы теории симметрий
Задачи с изюминкой
Табличные методы для классической логики высказываний и классической логики предикатов
Математический анализ: введение в анализ, производная, интеграл справочное пособие по высшей математике
Теория рекурсивных функций и эффективная вычислимость
Арифметические и логические основы цифровых автоматов
Математическая логика и теория алгоритмов: учебное пособие
Принцип Дирихле. Задачи с указаниями и решениями
А ну-ка догадайся!
Занимательная математика. Гимнастика для ума или искусство удивлять
Математическая логика и теория алгоритмов
Топосы. Категорный анализ логики
