TY - BOOK AU - MATIYASEVICH,YURI V. TI - HILBERTS TENTH PROBLEM T2 - FOUNDATIONS OF COMPUTING U1 - 512.7 PY - 1993/// CY - [s.l.] PB - MIT PRESS KW - TEORIA DE LOS NUMEROS ER -