| 000 | 00481 a2200157 4500 | ||
|---|---|---|---|
| 003 | BD-SaJUCL | ||
| 040 |
_aBD-SaJUCL _cBD-SaJUCL _dBD-SaJUCL |
||
| 942 |
_2ddc _cBK _n1 |
||
| 100 | 1 |
_aBridges, Douglas _919683 |
|
| 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 _912037 |
|
| 509 | _aMehedi_Hasan_68_3_Document_6_495.jpg_processed | ||
| 999 |
_c51183 _d51179 |
||