Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey. Boolos, George. Burgess, John P., 1948- jt. aut. Jeffrey, Richard C. jt. aut. Computable functions. Recursive functions. QA9.59 .B66 2007 511.352 22 BOC Includes bibliographical references and index. Cambridge ; New York : Cambridge University Press, 2007. 2007. 2007 Text xiii, 350 p. : eng