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