01164nam a2200265 u 4500000000079729CaOOAMICUS20070226123553.0040611s2000 nyucd u000 u eng u039304785710998757PULitaDavis, Martin,1928-(OLS)http://pul/name/48980The universal computer :the road from Leibniz to Turing /Martin Davis.New York ;London :W. W. Norton & Company,c2000.xii, 257 p. :ritr., diagr. ;24 cmIndice : p. 249-257.Bibliografia in appendice.Elaborazione automatica dei datiStoria.(OLS)http://pul/subject/27681PULPUL1SL Cons. Gen., Altre Classi 375004. 01 DAVMA 1101966BK-PRI DDC 21101966PULBib2101966 PUL88052 290200393047857(OLS)http://pul/number/105003245The universal computer :the road from Leibniz to Turing(OLS)http://pul/title/104434260New York ;London :W. W. Norton & Company(OLS)http://pul/publisher/75693