Sale
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
$35.52
$33.81
Oxford University Press