| 000 | 00706cam a2200181 a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 008 | 880224s1988 ne a b 001 0 eng | ||
| 080 |
_a510.25 _bTRO.1 |
||
| 100 | 1 | _aTroelstra, A. S. | |
| 245 | 1 | 0 |
_aConstructivism in mathematics : _ban introduction, V1 _cA.S. Troelstra, D. van Dalen. |
| 260 |
_aAmsterdam ; _aNew York : _bNorth-Holland ; _aNew York, N.Y. : _bSole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., _c1988. |
||
| 300 |
_a2 v. xv, 342p. _bill. ; |
||
| 490 | 1 |
_aStudies in logic and the foundations of mathematics ; _vv. 121; 123 |
|
| 650 | 0 |
_aConstructive mathematics. _98677 |
|
| 700 | 1 | _aTroelstra, A. S. | |
| 700 | 1 |
_aDalen, D. van _98678 |
|
| 942 | _cBK | ||
| 999 |
_c165595 _d165595 |
||