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