Computability computable functions, logic, and the foundations of mathematics - Epstein Richard L; Carnielli Walter A (Belmont Wadsworth, 1999)
With Computability and undecidability- a timeline: the story of the development of computable functions and the undecidability of arithmetic to 1970, by Richard L Epstein
Keywords: Computable functions; Mathematical logic; Symbolic logic