Quick view Add to Cart An Introduction To Proof Theory: Normalization, Cut-Elimination, And Consistency Proofs £25.14 Oxford University Press