01026nam a2200301 i 450099100077285970753620020507173412.0970627s1958 us ||| | eng b10755202-39ule_instLE01302092ExLDip.to Matematicaeng511.35AMS 03D10AMS 03D20AMS 68Q05Davis, Martin478481Computability & unsolvability /Martin DavisNew York :McGraw-Hill,1958xxv, 210 p. ;22 cm.McGraw-Hill series in information processing and computersModels of computationRecursive functions.b1075520223-02-1728-06-02991000772859707536LE013 03D DAV11 (1958)12013000086798le013-E0.00-l- 02020.i1084942728-06-02Computability & unsolvability911313UNISALENTOle01301-01-97ma -engus 01