Maths›03. Logic and FoundationsChapter 12. Degrees of UnsolvabilityReducibility, Turing degrees, recursively enumerable sets, Post's problem, and the structure of degrees.