Sale
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
£30.99
£29.50
Oxford University Press