Библиография Лаврова И.А.


Ambos-Spies K., Shore R.A.
[1993]
Undecidability and 1-types in the recursively enumerable degrees
Ann. Pure Appl. Logic, 24, № 1, 3-37
?
OS
article

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