Maths›03. Logic and Foundations12.1 ReducibilityFormal methods for comparing decision problems using many-one and Turing reducibility.