Books by Richard Zach
No products found matching the selection.
-20%
Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Richard Zach, Sergio Galvan, Paolo Mancosu
€220.34
€275.42
-20% with code BOOKS
In stock at our supplier