1971], Initial segments of the degrees of unsolvability (0)

by M Lerman
Venue:Ann. of Math