LEADER 01164nam a2200265 u 4500 001 000000079729 003 CaOOAMICUS 005 20070226123553.0 008 040611s2000 nyucd u000 u eng u 020 $a0393047857 035 $a10998757 040 $aPUL$bita 100 1 $aDavis, Martin,$d1928-$0(OLS)http://pul/name/48980 245 14$aThe universal computer :$bthe road from Leibniz to Turing /$cMartin Davis. 260 $aNew York ;$aLondon :$bW. W. Norton & Company,$cc2000. 300 $axii, 257 p. :$britr., diagr. ;$c24 cm 500 $aIndice : p. 249-257. 504 $aBibliografia in appendice. 650 4$aElaborazione automatica dei dati$xStoria.$0(OLS)http://pul/subject/27681 850 $aPUL 852 $aPUL$W1$xSL Cons. Gen., Altre Classi 3$y75$m004. 01 DAVMA 1$j101966$nBK-PRI$b $qDDC 21$B101966$CPULBib$Z2$F101966 $HPUL88052 $82 941 1 $a9 996 $6020$a0393047857$9(OLS)http://pul/number/105003 996 $6245$aThe universal computer :$bthe road from Leibniz to Turing$9(OLS)http://pul/title/104434 996 $6260$aNew York ;$aLondon :$bW. W. Norton & Company$9(OLS)http://pul/publisher/75693