Mathematical logic quarterly · 1968 · 91 citations · 4 references
4
On Degrees of Recursive Unsolvability
Clifford Spector · Annals of Mathematics · 1956 · 199 citations
J. C. E. Dekker, John Myhill · Canadian Journal of Mathematics · 1958 · 72 citations · Full text