Bibliography of Lavrov I.A.


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

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