Computability and Logic - Boolos, George S.; Burgess, John P.; Jeffrey, Richard C. (Cambridge : New York : Cambridge University Press, 1974)
Keywords: Computable Functions; Recursive Functions