Калверт У.,Харизанова В. С.,Найт Дж. Ф.,Миллер С. ...


Калверт У., Харизанова В. С., Найт Дж. Ф., Миллер С.
[2006]
Индексные множества вычислимых моделей
Алгебра и логика, 45, № 5, 538-574
08.01.213
статья

Вернуться к поиску