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