Кузнецов Степан Львович, преподаватель курса Математическая логикапреподавание учебного курса