LEADER 01176nam2-2200361li-450 
001 990000121320203316
005 20180312154646.0
035   $a0012132
035   $aUSA010012132
035   $a(ALEPH)000012132USA01
035   $a0012132
100   $a20001109d1958----km-y0itay0103----ba
101 0 $aeng
102   $aUS
200 1 $aComputability and unsolvability$fMartin Davis
210   $aNew York$cMcGraw-Hill$d1958
215   $aXXV, 210 p.$d23 cm
225 2 $aMcGraw-Hill series in information processing and computers$v0
300   $ascheda incompleta (prestito)
410  0$10010012133$12001$aMcGraw-Hill series in information processing and computers
676   $a5113$9Logica simbolica (Logica matematica)
700  1$aDavis,$bMartin D.$0745778
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000121320203316
951   $a511.3 DAV (B)$b0005422
959   $aBK
969   $aSCI
979   $c19910619
979   $c20001110$lUSA01$h1711
979   $c20020403$lUSA01$h1619
979   $aPATRY$b90$c20040406$lUSA01$h1609
996   $aComputability and unsolvability$91489474
997   $aUNISA