LDR 01232nam a2200313 u 4500 001 000000073942 003 CaOOAMICUS 005 20070226122415.0 008 021127s1982 nyu u000 u eng u 020 $a0486614719 035 $a10946100 040 $aPUL(R)$bita 100 1 $aDavis, Martin,$d1928-$0(OLS)http://pul/name/48980 245 10$aComputability & Unsolvability /$cMartin Davis .. 260 $aNew York :$bDover,$c1982. 300 $axxv, 248 p. ;$c20 cm 490 1 $aDover books on mathematics 500 $aContiene indice. 504 $a"References": p. 237-241. 650 4$aLogica matematica.$0(OLS)http://pul/subject/9225 650 4$aElaborazione automatica dei dati.$0(OLS)http://pul/subject/12704 830 0$aDover books on mathematics.$0(OLS)http://pul/title/97183 850 $aPUL 852 $aPUL$W1$xSL Religione 2$y84$mRH E2 64$j95480$nBK-PRI$b $qStampati altre collocazioni$B95480$CPULBib$Z2$F95480 $H $81 941 1 $a10 961 $aINV: 90352 996 $6020$a0486614719$9(OLS)http://pul/number/95558 996 $6245$aComputability & Unsolvability$9(OLS)http://pul/title/97182 996 $6260$aNew York :$bDover$9(OLS)http://pul/publisher/74426