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