Degrees of Unsolvability: a survey of results (1977)

by S Simpson
Venue:631–652 in Handbook of Mathematical Logic