Friedberg R.M. ...


Friedberg R.M.
[1957]
The fine structure of degrees of unsolvability of recursively enumerable sets
Summaries Cornell Univ.Summer Inst. for Symbolic Logic, 404-406
?
OS
article

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