Applied proof theory : proof interpretations and their use in mathematics
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre papier |
| Idioma: | Anglais |
| Publicat: |
Berlin ; Heidelberg :
Springer
C 2008.
|
| Col·lecció: | Springer monographs in mathematics
|
| Matèries: | |
| 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 |