Основания математики. Том 2
Основания математики. Том 3
Современная теория множеств. Начала дескриптивной динамики.
Математическая логика
Основания математики. Том 1
Сборник задач по теории алгоритмов
Занимательная математика. Гимнастика для ума или искусство удивлять
Аристотель VS Будда
Задачи и упражнения по математической логике и теории алгоритмов
Математическая логика и теория алгоритмов
Топосы. Категорный анализ логики
Как же называется эта книга?
Алиса в стране смекалки
Принцесса или тигр