«Математическая логика» (руководитель: Михайлова Юлия Николаевна)