Friedberg R.M. ...


Friedberg R.M.
[1957]
Two recursively enumerable sets of incomparable degrees of unsolvability (solution of Post’s problem 1944)
Proc. Nat. Acad. Sci., USA, 43, № 2, 236-238
58.1769
ROS
article

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