Applied proof theory : proof interpretations and their use in mathematics
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Livre papier |
| Idioma: | Anglais |
| Publicado em: |
Berlin ; Heidelberg :
Springer
C 2008.
|
| Colecção: | Springer monographs in mathematics
|
| Assuntos: | |
| 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 |
Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
| Observações: |
A demander à la BU Sciences |
|---|
| Localização | Área/Cota | Type de prêt | Estado | |
|---|---|---|---|---|
| Salle de lecture | 7855 KOH | Disponível |