korr. und erw. Ausg. von: Hatfield, Polytechnic, thesis, 1983 u.d.T. "A history of the theory of recursive functions and computability with special reference to the developments initiated by Gödel's incompleteness theorems"
Traces the development of recursive functions from their origins in the late nineteenth century to the mid-1930s, with particular emphasis on the work and influence of Kurt Gödel