Тарский Альфред
Введение в логику и методологию дедуктивных наук
Тренажер для мозга (2 занятия в день по 15 минут)