Математика. Диссертация Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов : диссертация ... кандидата физико-математических наук : 01.01.06, Москва, 2006