| 000 | 00479 a2200157 4500 | ||
|---|---|---|---|
| 003 | BD-SaJUCL | ||
| 040 |
_aBD-SaJUCL _cBD-SaJUCL _dBD-SaJUCL |
||
| 942 |
_2ddc _cBK _n1 |
||
| 100 | 1 | _aBridges, Douglas | |
| 245 | 1 | 0 |
_aVarieties of constructive mathematics _c / Douglas Bridges |
| 260 |
_bCambridge Univ. Pr. _c1987 |
||
| 300 |
_ax, 149p. _c22cm. |
||
| 082 | 0 | 4 | _a511.3 |
| 650 | 0 | _aLogic, Symbolic and mathematical | |
| 509 | _aMehedi_Hasan_68_3_Document_6_495.jpg_processed_gemini.json | ||
| 999 |
_c10309 _d10309 |
||