| 000 | 00519 a2200169 4500 | ||
|---|---|---|---|
| 020 | _a0198566514 | ||
| 082 |
_a511.36 _bFRO |
||
| 090 |
_c17949 _d27797 |
||
| 100 |
_aCrosilla, Laura _eed. |
||
| 245 |
_aFrom sets and types to topology and analysis _btowards practicable foundations for constructive mathematics |
||
| 260 |
_aOxford _bClarendon Press _c2005 _g2005 |
||
| 300 |
_axix,350p. _c24cm |
||
| 650 | _aGeneral principles of mathematics | ||
| 650 | _aMathematics | ||
| 700 |
_aSchuster, Peter _eed. |
||
| 942 | _cSR | ||
| 999 |
_c45854 _d45854 |
||