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

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

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