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