В пятницу, 27 октября, в 17:00 в аудитории 610 состоится очередное заседание научно-исследовательского семинара кафедры алгебры и математической логики.

Докладчик: Александрова С.А., ассистент кафедры ДМИ ММФ НГУ (Новосибирск).
Название доклада: О Сигма-определимости в наследственно конечных надстройках

Более подробную информацию смотрите на страничке научно-исследовательского семинара кафедры алгебры и математической логики.