Davis M. ...


Davis M.
[1953]
Arithmetical problems and recursively enumerable predicates
J. Symbolic Logic, 18, № 1, 33-41 (Русский перевод в сб. Математика , 1964, 8, № 5, 15-22.)
54. 1532
article

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