00661nam a2200217 a 4500008004100000020002200041100002200063245006900085250001200154260005200166300002400218504004100242500002000283650002600303650002500329650003800354700002400392003000100416005001700417040000900434                                          a0521389232 (pbk.)1 aBoolos, George S.10aComputability and logic /cGeorge S. Boolos, Richard C. Jeffrey.  a3rd ed.  aCambridge :bCambridge University Press,c1989.  ax, 304 p. ;c23 cm.  aIncludes bibliographical references.  aIncludes index. 0aComputable functions. 0aRecursive functions. 0aLogic, Symbolic and mathematical.1 aJeffrey, Richard C.20230123133415.0  cNUST