On degrees of unsolvability (1959)

by J R Shoenfield
Venue:Ann. of Math