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