Davis M., Putnam H. ...


Davis M., Putnam H.
[1958]
Reductions of Hilbert’s tenth problem
J. Symbolic Logic, 23, № 2, 183-187 (Русский перевод в сб. Математика , 1964, 8, № 5, 49-54.)
60.1250
article

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