A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis
dc.contributor.author | BORGES OLIVA, P | en_US |
dc.contributor.author | Powell, T | en_US |
dc.contributor.editor | Kahle, R | en_US |
dc.contributor.editor | Rathjen, M | en_US |
dc.date.accessioned | 2016-01-13T13:04:03Z | |
dc.date.issued | 2015-06-14 | en_US |
dc.date.submitted | 2016-01-08T10:33:12.082Z | |
dc.identifier.isbn | 331910103X | en_US |
dc.identifier.isbn | 9783319101033 | en_US |
dc.identifier.other | 18 | |
dc.identifier.other | 18 | |
dc.identifier.other | 18 | en_US |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/10514 | |
dc.description.abstract | This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. | en_US |
dc.publisher | Springer | en_US |
dc.relation.ispartof | Gentzen's Centenary The Quest for Consistency | en_US |
dc.subject | Mathematics | en_US |
dc.subject | Logic | en_US |
dc.title | A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis | en_US |
dc.type | Book chapter | |
pubs.notes | Not known | en_US |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |