Rogers H. Jr. ...


Rogers H. Jr.
[1958]
Gödel numberings of partial recursive functions
J. Symbolic Logic, 23, № 3, 331-341
60.8518
ES
article

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