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