Pour-El M.B.,Putnam H. ...


Pour-El M.B., Putnam H.
[1965]
Recursively enumerable classes and their application to recursive sequences of formal theories
Arch. Math. Logik Grundl., 8, № 3-4, 104-121
67.01.71
EO
article

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