LEADER 01463nam0 2200301 i 450 
001 SUN0054205
005 20180604120155.519
010   $a978-04-86614-71-7$d0.00
100   $a20061016d1982       |0engc50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $aComputability and unsolvability$fMartin Davis
210   $aNew York$cDover$d1982
215   $aXXV, 248 p.$cill.$d21 cm.
410  1$1001SUN0023566$12001 $aDover books on advanced mathematics$1210  $aNew York$cDover.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a03Dxx$xComputability and recursion theory [MSC 2020]$2MF$3SUNC024386
620   $aUS$dNew York$3SUNL000011
700  1$aDavis$b, Martin$3SUNV043140$0478481
712   $aDover$3SUNV000279$4650
801   $aIT$bSOL$c20200720$gRICA
856 4 $uhttp://books.google.it/books?id=TMLgEIOGhBMC&printsec=frontcover&dq=Computability+and+Unsolvability&hl=en&sa=X&ei=ccbzUKCiHYmE4AS6noCYCg&ved=0CCsQ6AEwAA$zAnteprima
912   $aSUN0054205
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1038        $e08   1987      I a     20061016            
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1038        $e08VS 4459      I b     20061016            
996   $aComputability and unsolvability$91425155
997   $aUNICAMPANIA