A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis

Editors
Kahle, R
Rathjen, M
Publisher
Springer
ISBN-10
331910103X
ISBN-13
9783319101033
Journal
Gentzen's Centenary The Quest for Consistency
Metadata
Show full item record
Abstract
This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond.
Authors
BORGES OLIVA, P; Powell, T
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/10514
Collections