| 000 | 00506nmm a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 230424s9999||||xx |||||||||||||||||und|| | ||
| 020 | _a9783540378068 | ||
| 100 | _aAnne S. Troelstra | ||
| 245 | 0 | _aMetamathematical Investigation of Intuitionistic Arithmetic and Analysis | |
| 250 | _a1973 | ||
| 260 |
_c1973 _bSpringer Berlin _aHeidelberg |
||
| 300 | _aProceedings | ||
| 490 |
_aLecture Notes in Mathematics _vv.344 |
||
| 650 | _aMathematics and Statistics | ||
| 856 | _uhttps://doi.org/10.1007/BFb0066739 | ||
| 999 |
_c30667 _d30667 |
||