Simple proofs of some theorems on high degrees of unsolvability, Canadian (1977)

by C G Jockusch
Venue:Journal of Mathematics