Математическая логика
Алгоритмы и рекурсивные функции
Теорема Гёделя.
Гёдель, Эшер, Бах: эта бесконечная гирлянда.
А ну-ка догадайся!
Теория алгорифмов
Что такое нестандартный анализ
Канторовская теория множеств
Лучшие логические игры и головоломки
Беседы о математике ч.1. Дискретные обьекты
Комплексная логика
Некоторые способы решения логических задач
Умные задачки и головоломки. Развивающие игры