Комбаров Юрий Анатольевич, преподаватель курса Введение в математическую логикупреподавание учебного курса