01077nam a2200301 i 450099100077299970753620020507173413.0970709s1974 uk ||| | eng 052120402Xb10755226-39ule_instLE01302094ExLDip.to Matematicaeng511.35AMS 03DBoolos, George45067Computability and logic /George Boolos, Richard JeffreyCambridge :Cambridge University Press,c1974x, 262 p. :ill. ;24 cm.Computable functionsRecursive functionsSymbolic logicJeffrey, Richard C.authorhttp://id.loc.gov/vocabulary/relators/aut45068.b1075522621-09-0628-06-02991000772999707536LE013 03D BOO11 (1974)12013000088914le013-E0.00-l- 00000.i1084944028-06-02Computability and logic334554UNISALENTOle01301-01-97ma -enguk 01