Computability and logic /
Boolos, George.
Burgess, John P.,1948-
Jeffrey, Richard C.
New York ; Cambridge : Cambridge University Press,
2007.
Includes bibliographical references (p. 341) and index.
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.