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