Поздравляем Ивана Пыльцына с защитой ВКР!

Иван Пыльцын, стажер-исследователь МЛ ЛогЛинФФ, успешно защитил ВКР на тему «Обобщение интерпретации Гёделя-Тарского на уровень некомпактных расширений Int, Grz и GL, эквивалентно задающихся нефундированными исчислениями» (руководитель – Д.С. Шамканов).

Желаем Ивану дальнейших академических успехов!