Computability & unsolvability.
Davis, Martin.
New York; London, 
1958.
[With a bibliography.]