Spector C. ...


Spector C.
[1956]
On degrees of recursive unsolvability
Ann. Math., 64, № 3, 581-592
58.4456
ROS
article

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