Degrees of unsolvability: a survey of results (1977)

by S G Simpson
Venue:Handbook of Mathematical Logic