00817cam a2200229 a 450000500170000000800410001702000250005804100080008308200190009110000220011024500880013225000120022026000650023230000160029765000250031365000240033870000210036270000240038394200070040799900150041495201580042920240322174215.0070403s2007    enka     b    001 0 eng    a9780521701464 (pbk.)  aeng00a511.352bBooC51 aBoolos, George S.10aComputability and Logic /cGeorge S. Boolos, John P. Burgess and Richard C. Jeffrey  a5th Ed.  aCambridge :aNew York :bCambridge University Press,cc1974.  axiii, 350p. 0aComputable Functions 0aRecursive Functions1 aBurgess, John P.1 aJeffrey, Richard C.  cBK  c5643d5643  001040708MATaIITTPbIITTPcGENd2024-03-22eShah Book Houseg1906.25iSBH21297l0o511.352 BooC5p10349r2024-04-03 00:00:00v3031.09w2023-10-23yBK