LDR 01121nam a2200265 u 4500 001 000000079349 003 CaOOAMICUS 005 20070226123529.0 008 040531s2001 nyu u000 u eng u 020 $a0393322297 035 $a10997344 040 $aPUL$bita 100 1 $aDavis, Martin,$d1928-$0(OLS)http://pul/name/48980 245 10$aEngines of logic :$bmathematicians and the origin of Computer /$cMartin Davis. 260 $aNew York ;$aLondon :$bNorton & Company,$c2001. 300 $axii, 257 p. ;$c21 cm 504 $aBibliografia in nota. 650 4$aLogica.$0(OLS)http://pul/subject/441 650 4$aInformatica.$0(OLS)http://pul/subject/27578 850 $aPUL 852 $aPUL$W1$xSL Cons. Gen., Altre Classi 3$y75$m004. 09 DAVMA 1$j121307$nBK-PRI$qDDC 21$B101553$CPULBib$Z2$F101553 $H88043 $82 941 1 $a9 996 $6020$a0393322297$9(OLS)http://pul/number/104269 996 $6245$aEngines of logic :$bmathematicians and the origin of Computer$9(OLS)http://pul/title/103900 996 $6260$aNew York ;$aLondon :$bNorton & Company$9(OLS)http://pul/publisher/75620