| 000 | 00658nam a2200205Ia 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20230403115219.0 | ||
| 008 | 180620b2005 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9780198566519 | ||
| 040 | _cJUIT, Solan | ||
| 082 | _a511.3622 CRO | ||
| 100 | _aCrosilla, Laura | ||
| 245 |
_aFrom Sets and Types to Topology and Analysis: towards practicable foundations for constructive mathematics _cby Laura Crosilla |
||
| 260 |
_aNew York _bOxford University Press _c2005 |
||
| 300 | _axix, 350 p. | ||
| 505 | _a<p>1. Constructive Set Theories and The | ||
| 700 | _aSchuster, Peter | ||
| 906 | _a7b9e5066ac100b20012c6c70069adce8 | ||
| 942 |
_2ddc _cRB |
||
| 999 |
_c40023 _d40023 |
||