Details

On the Theory of Recursive Unsolvability

Davis, Martin David.   Princeton University ProQuest Dissertations & Theses,  1997. 0010878.