LEADER 01821nam0 2200373 i 450 
001 VAN0052708
005 20240208030950.539
010   $a02-621-3295-8
010   $a978-02-621-3295-4
100   $a20060919d1993       |0itac50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aHilbert'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$1001VAN0052074$12001 $aFoundations of computing$1210  $aCambridge$aLondon$cMIT
500  1$3VAN0079472$aDesjataja problema Gil?berta$93872960
606   $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF
606   $a03Dxx$xComputability and recursion theory [MSC 2020]$3VANC024386$2MF
606   $a03D35$xUndecidability and degrees of sets of sentences [MSC 2020]$3VANC024436$2MF
606   $a11Uxx$xConnections of number theory and logic [MSC 2020]$3VANC024437$2MF
620   $aUS$dCambridge <Mass.>$3VANL000513
700  1$aMatiiasevich$bIurii V.$3VANV041554$0726477
702  1$aDavis$bMartin$3VANV043140
712   $aMIT <editore>$3VANV111700$4650
790  1$aMatiyasevich, Yuri V.$zMatiiasevich, Iurii V.$3VANV041555
801   $aIT$bSOL$c20240209$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
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0052708
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   2628        $e08   4386      I       20060919            
996   $aDesjataja problema Gil?berta$93872960
997   $aUNICAMPANIA