Александр Запрягаев успешно защитил кандидатскую диссертацию

Поздравляем стажера-исследователя МЛ ЛогЛинФФ Александра Запрягаева с успешной защитой кандидатской диссертации на тему «Интерпретации в слабых арифметических теориях» (научный руководитель: Л.Д. Беклемишев).

С подробной информацией по диссертации можно ознакомиться по ссылке.