Садовничий Юрий Викторович, преподаватель курса Основы математической логикипреподавание учебного курса