01121nam a2200265 u 4500000000079349CaOOAMICUS20070226123529.0040531s2001 nyu u000 u eng u039332229710997344PULitaDavis, Martin,1928-(OLS)http://pul/name/48980Engines of logic :mathematicians and the origin of Computer /Martin Davis.New York ;London :Norton & Company,2001.xii, 257 p. ;21 cmBibliografia in nota.Logica.(OLS)http://pul/subject/441Informatica.(OLS)http://pul/subject/27578PULPUL1SL Cons. Gen., Altre Classi 375004. 09 DAVMA 1121307BK-PRIDDC 21101553PULBib2101553 88043 290200393322297(OLS)http://pul/number/104269245Engines of logic :mathematicians and the origin of Computer(OLS)http://pul/title/103900260New York ;London :Norton & Company(OLS)http://pul/publisher/75620