A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis

Editors
Kahle, R
Rathjen, M
Publisher
Springer
ISBN-10
331910103X
ISBN-13
9783319101033
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
Return to top