Computability and logic.
Boolos, George.
Burgess, John P.,1948-
Jeffrey, Richard C.
Cambridge : Cambridge University Press,
2002.
Previous ed.: 1989.
Includes bibliographical references (p. 348) and index.
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.