Applied proof theory : proof interpretations and their use in mathematics
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre papier |
| Langue: | Anglais |
| Publié: |
Berlin ; Heidelberg :
Springer
C 2008.
|
| Collection: | Springer monographs in mathematics
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Applied proof theory, proof interpretations and their use in mathematics, U. Kohlenbach, 1st ed. 2008, 2008, Berlin, Springer, Springer Monographs in Mathematics, 978-3-540-77533-1 |
| Description matérielle: | 1 vol. (XIX-532 p.) ; 24 cm. |
|---|---|
| Bibliographie: | Bibliogr. p. [507]-523. Index |
| ISBN: | 9783540775324 (rel.) |
| ISSN: | 1439-7382 |