Cholak P., Harrington L. A. ...


Cholak P., Harrington L. A.
[2002]
On the definability of the double jump in the computably enumerable sets
J. Math. Logic, 2, № 2, 261-296
?
S
article

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