Metamathematical Investigation of Intuitionistic Arithmetic and Analysis TTS9S5DFA0
| URI | m2://res/TTS9S5DFA0 |
|---|---|
| Kind | monograph |
| Creators | A. S. Troelstra (editor) |
| Date | 1973 |
| Scope | in |
Expressions
e1: edition
| Date | 1973 |
|---|---|
| Ids | DOI 10.1007/bfb0066739 |
- m1: print, Springer Berlin Heidelberg, 1973. isbn 9783540064916, isbn 9783540378068
Relations
- part_of Lecture Notes in Mathematics
Catalogue records
- springer-series: 10.1007/bfb0066739 (work)