В колонках играет - From Autumn to Ashes - The After Dinner Payback

Для тех у кого нет чудных ксерокорпий с вопросами
Не факт что 100% совпадение с вопросами, которые дал Караваев на консультации, но хотя что-то. Взято с сайта кафедры логики

Система естественного вывода (натурального исчисления) С.Яськовского (в варианте Е.Слупецкого-Л.Борковского).
Производные правила.
Система естественного вывода Г.Генцена.
Чисто прямое доказательство. Положительная (позитивная) логика как фрагмент системы естественного вывода.
Правило построения доказательства по частям.
Правило построения доказательства разбором случаев.
Слабое косвенное доказательство. Исчисление минимальной логики.
Квазисильное косвенное доказательство. Конструктивная логика.
Расширение конструктивной логики (до классической логики)посредством добавления правила двойного отрицания.
Понятия (семантической) корректности, адекватности и полноты логической системы.
Аксиоматическое представление исчисления высказываний.
Язык логики предикатов.
Естественный вывод в логике предикатов.
Модальная (алетическая) логика.
Временная логика.
Деонтическая логика.