On degrees of recursive unsolvability (1956)

by C Spector
Venue:Annals of Mathematics