A classic treatment of degrees of unsolvability from the acclaimed Annals of Mathematics Studies series
