Computability and logic - Boolos, George; Jeffrey, Richard C. (Cambridge : Cambridge University Press, 1989)
Keywords: Computable functions; Recursive functions