Metamathematical investigation of intuitionistic arithmetic and analysis
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Livre papier |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin ; Heidelberg ; New York :
Springer
1973, cop. 1973.
|
| Serie: | Lecture notes in mathematics
344 |
| Soggetti: | |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Metamathematical investigation of intuitionistic arithmetic and analysis, [edited by] A. S. Troelstra,..., Berlin [etc.], Springer, 201X, Lecture Notes in Mathematics, 978-3-540-37806-8 |
Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
| Note: |
A demander à la BU Sciences |
|---|
| Localizzazione | Collocazione | Type de prêt | Status | |
|---|---|---|---|---|
| Salle de lecture | LNM 344 | Disponibile |