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