RobinsonRM ...


Robinson R.M.
[1956]
Arithmetical representation of recursively enumerable sets
J. Symbolic Logic, 21, № 2, 162-186 (Русский перевод в сб, Математика , 1964, 8, № 5, 23-47.)
58.2680
R
article

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