Математика. Диссертация Некоторые алгоритмические вопросы для полимодальных логик доказуемости : диссертация ... кандидата физико-математических наук : 01.01.06 / Пахомов Федор Николаевич; [Место защиты: Мат. ин-т им. В.А. Стеклова РАН], Москва, 2015