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