Hilbert's tenth problem
Presents a solution to the 10th problem (to find a method for deciding if a Diophantine equation has an integral solution). The work contains applications of the technique developed for that solution and describes the improvements of the original proof since the problem was "unsolved" 20 years ago
Print Book, English, ©1993
MIT Press, Cambridge, Mass., ©1993