| 000 | 00879nam a2200253Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s2005##################000#0#eng## | ||
| 020 | _a9780198566519 | ||
| 022 | _a2006296109 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a511.36 C RO | ||
| 245 |
_aFrom sets and types to topology and analysis : towards practicable foundations for constructive mathematics _cedited by Laura Crossila and Peter Schuster |
||
| 260 |
_aOxford _bClarendon Press ; Oxford University Press _c2005 |
||
| 300 | _axix, 350 p. : ill. ; 24 cm | ||
| 500 | _aIncludes bibliographical references and index | ||
| 650 | _aAnalyse (wiskunde) | ||
| 650 | _aConstructieve wiskunde | ||
| 650 | _aConstructive mathematics - Congresses | ||
| 650 | _aTopologie | ||
| 700 | _aCrosilla, Laura | ||
| 700 | _aSchuster, Peter | ||
| 990 | _ae699ad7cac10000c370b912a1b338f24 | ||
| 991 | _a123965 | ||
| 999 |
_c189379 _d189379 |
||