| 000 | 00492nam a22001577a 4500 | ||
|---|---|---|---|
| 999 |
_c8581 _d8581 |
||
| 008 | 170405b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9780444705068 | ||
| 050 |
_aQA 9.56 _bTRO 1988 |
||
| 100 | _aTroelstra, A.S. | ||
| 245 |
_aConstructivism in mathematics Volume 1: _bAn introduction/ _cBy A.S. Troelstra and D. van Dalen, |
||
| 260 |
_aAmsterdam: _bElsevier, _c1988. |
||
| 300 | _a342 p.: | ||
| 600 | _2Dalen, D. van (Dirk), 1932. | ||
| 650 | _2Constructive mathematics. | ||
| 942 |
_2lcc _cBK |
||