Hilbert's tenth problem /
Matii︠a︡sevich, I︠U︡riĭ V.
Cambridge, Mass. ; London : MIT Press,
c1993.
Hilbert's tenth problem.
Computable functions.