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