Сыркин Геннадий Иосифович, преподаватель курса Математическая логикапреподавание учебного курса