| 000 | 00570nam a22002177a 4500 | ||
|---|---|---|---|
| 999 |
_c114806 _d114805 |
||
| 005 | 20190531145404.0 | ||
| 020 | _a0521318025 | ||
| 041 | _aEN | ||
| 082 |
_223 _a511.3 _bBRI |
||
| 100 | _aBridges, Douglas | ||
| 100 | _a Richman, Fred. | ||
| 245 | _aVarieties of constructive mathematics | ||
| 260 |
_aCambridge _bCambridge university Press _c1988 |
||
| 300 | _ax, 149 pages | ||
| 440 |
_992591 _aLondon Mathematical Society;97 |
||
| 500 | _aInclude index. | ||
| 509 | _aNS | ||
| 650 | 4 |
_910597 _aLogic |
|
| 650 | 0 |
_991849 _aConstructive mathematics |
|
| 942 | _cS | ||