Recursive Functions and Metamathematics Problems of Completeness and Decidability, Gödel's 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.