“The Theory of Recursive Unsolveability”. Typed dissertation accepted by Princeton in May 1950. 96 pps of text plus front matter, end notes, and bibliography. A carbon copy made along with the original typescript. Mathematical symbols not available on the typewriter were inserted by hand by Martin Davis.
This item is associated with the following categories: