Гейтинг Аренд
Тридцать лет спустя
Интуиционизм. Введение
Тренажер для мозга (2 занятия в день по 15 минут)