01232nam a2200313 u 4500000000073942CaOOAMICUS20070226122415.0021127s1982 nyu u000 u eng u048661471910946100PUL(R)itaDavis, Martin,1928-(OLS)http://pul/name/48980Computability & Unsolvability /Martin Davis ..New York :Dover,1982.xxv, 248 p. ;20 cmDover books on mathematicsContiene indice."References": p. 237-241.Logica matematica.(OLS)http://pul/subject/9225Elaborazione automatica dei dati.(OLS)http://pul/subject/12704Dover books on mathematics.(OLS)http://pul/title/97183PULPUL1SL Religione 284RH E2 6495480BK-PRI Stampati altre collocazioni95480PULBib295480 110INV: 903520200486614719(OLS)http://pul/number/95558245Computability & Unsolvability(OLS)http://pul/title/97182260New York :Dover(OLS)http://pul/publisher/74426