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