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