Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Godel's

An Early History of Recursive Functions and Computability from Godel to Turing (

Theory of Recursive Functions and Effective Computability (Mit Press) Rogers...

Rod Adams An Early History of Recursive Functions and Computability (Paperback)

Rod Adams An Early History of Recursive Functions and Co (Paperback) (UK IMPORT)

Godel, Escher, Bach: An Eternal Gol..., Hofstadter, Dou

Computability: An Introduction to Recursive Function Theory

On formally undecidable propositions of 'Principia mathematica' ... Godel (1962)