Hilbert's tenth problem

Yuri V. Matiyasevich
MIT Press
9780262132954
0-262-13295-8