TY  - BOOK
AU  - Matiyasevich, Yuri V
TI  - Hilbert's tenth problem
SN  - 0-262-13295-8
U1  - 512.7 
PY  - 1993///
CY  - Cambridge
PB  - The MIT Press
KW  - Computable functions
KW  - Hilbert's tenth problem
ER  -