A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis
Editors
Kahle, R
Rathjen, M
Publisher
ISBN-10
331910103X
ISBN-13
9783319101033
Journal
Gentzen's Centenary The Quest for Consistency
Metadata
Show full item recordAbstract
This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond.