Computability and logic - Boolos, George; Jeffrey, Richard (Cambridge Cambridge University Press, 1980)
Keywords: Computable functions; Logic, Symbolic and mathematical; Recursive functions