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