LEADER 01764nam0 2200361 i 450 
001 SUN0052708
005 20170926122156.369
010   $a02-621-3295-8$d0.00
010   $a978-02-621-3295-4
100   $a20060919d1993       |0engc50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $a*Hilbert's tenth problem$fYuri V. Matiyasevich$gwith a foreword by Martin Davis
210   $aCambridge$aLondon$cMIT$d1993
215   $aXXII, 264 p.$d24 cm.
410  1$1001SUN0052074$12001 $aFoundations of computing$1210  $aCambridge$aLondon$cMIT.
500  1$3SUN0079472$aDesiataia problema Gilberta. English$91400791
606   $a68-XX$xComputer science [MSC 2020]$2MF$3SUNC019670
606   $a03Dxx$xComputability and recursion theory [MSC 2020]$2MF$3SUNC024386
606   $a03D35$xUndecidability and degrees of sets of sentences [MSC 2020]$2MF$3SUNC024436
606   $a11Uxx$xConnections of number theory and logic [MSC 2020]$2MF$3SUNC024437
620   $aUS$dCambridge <Mass.>$3SUNL000513
700  1$aMatiiasevich$b, Iurii V.$3SUNV041554$0726477
702  1$aDavis$b, Martin$3SUNV043140
712   $aMIT$3SUNV005769$4650
790  1$aMatiyasevich, Yuri V.$zMatiiasevich, Iurii V.$3SUNV041555
801   $aIT$bSOL$c20201012$gRICA
856 4 $uhttps://books.google.it/books?id=42h5VRwG5rcC&printsec=frontcover&dq=Hilbert%27s+tenth+problem+Matiyasevich&hl=it&sa=X&ved=0ahUKEwid5euf0MLWAhVLXBQKHUreC6EQ6AEIKTAA#v=onepage&q&f=false$zPreview
912   $aSUN0052708
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   2628        $e08   4386      I       20060919            
996   $aDesiataia problema Gilberta. English$91400791
997   $aUNICAMPANIA