Об алгоритмических и структурных свойствах вычислимости над моделями
Пузаренко, Вадим Григорьевич. Об алгоритмических и структурных свойствах вычислимости над моделями : диссертация ... кандидата физико-математических наук : 01.01.06.- Новосибирск, 2000.- 105 с.: ил. РГБ ОД, 61 01-1/262-6