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