01006cam a2200277 a 45000010009000000050017000090080041000260200025000670350013000920350021001050400019001260820016001451000028001612450089001892500017002782600052002953000035003476500031003826500030004136500043004437000027004867000029005139420012005429990019005549520155005731479506020260624165023.0070403s2007    enka     b    001 0 eng    a9780521701464 (pbk.)  a14795060  a(OCoLC)122526900  aDLCcKreadDLC00a511.352 BOO1 aBoolos, George S.,920210aComputability and logic /cGeorge S. Boolos, John P. Burgess and Richard C. Jeffrey.  a5th edition.  aCambridge :bCambridge University Press,c2010.  axiii, 350 p. :bill. ;c26 cm. 0aComputable functions.9203 0aRecursive functions.9204 0aLogic, Symbolic and mathematical.92051 aBurgess, John P.,92061 aJeffrey, Richard C.9207  2ddccBK  c124391d124391  00102ddc40708SIASaSRICITYLIBbSRICITYLIBd2026-06-24eAtlantic - 1214019/08g4437.00l0o511.352 BOOpK19390r2026-06-24 16:50:58w2026-06-24yBK