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