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