American mathematician. “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.   Price: $1,250 This item is … [ Read More ]