Ambos-Spies K., Nies A. ...


Ambos-Spies K., Nies A.
[1992]
The theory of the polynomial many-one degrees of recursive sets is undecidable,
Lect. Notes in Comp. Sci., 577, 209-210, Springer-Verlag
?
O
article

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