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