Семенов Алексей Львович, преподаватель курса Научно-исследовательский семинар по математической логикепреподавание учебного курса