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