Metamathematical investigation of intuitionistic arithmetic and analysis
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Format: | Livre papier |
| Sprog: | Anglais |
| Udgivet: |
Berlin ; Heidelberg ; New York :
Springer
1973, cop. 1973.
|
| Serier: | Lecture notes in mathematics
344 |
| Fag: | |
| 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 |
| Fysisk beskrivelse: | 1 vol. (XVII-485 p.) ; 24 cm. |
|---|---|
| Bibliografi: | Bibliogr. p. [462]-475. Index |
| ISBN: | 0387064915 (New York) 3540064915 (Berlin) |