An Early History of Recursive Functions and Computability From Gödel to Turing

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.