LEADER 01350nam0 2200301 i 450 
001 VAN00054205
005 20241211123603.927
010   $a978-04-86614-71-7
100   $a20061016d1982       |0itac50      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$1001VAN00023566$12001 $aDover books on advanced mathematics$1210  $aNew York$cDover
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
606   $a03Dxx$xComputability and recursion theory [MSC 2020]$3VANC024386$2MF
620   $aUS$dNew York$3VANL000011
700  1$aDavis$bMartin$3VANV043140$0478481
712   $aDover <editore>$3VANV108158$4650
801   $aIT$bSOL$c20251107$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/ID 54205.pdf$zID 54205.pdf
912   $aVAN00054205
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1038        $e08   1987      I a     20061016            
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1038        $e08VS 4459      I b     20061016            
996   $aComputability and unsolvability$91425155
997   $aUNICAMPANIA