Минц Г.Е.
Математическая логика и основания математики
Тренажер для мозга (2 занятия в день по 15 минут)