Books by Christoph Spörk
No products found matching the selection.
-20%
Algorithms for Quantified Cut-Introduction: Introducing quantified cuts in sequent calculus
€45.94
€57.42
-20% with code BOOKS
In stock at our supplier