В пятницу, 27 октября, в 17:00 в аудитории 610 состоится очередное заседание научно-исследовательского семинара кафедры алгебры и математической логики.
Докладчик: Александрова С.А., ассистент кафедры ДМИ ММФ НГУ (Новосибирск).
Название доклада: О Сигма-определимости в наследственно конечных надстройках
Более подробную информацию смотрите на страничке научно-исследовательского семинара кафедры алгебры и математической логики.