From Sets and Types to Topology and Analysis - Towards practicable foundations for constructive mathematics
- Författare
- Laura Crosilla
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Oxford University Press | 2005 | England, Oxford | 376 sidor. | |
| Clarendon Press | 2005 | Storbritannien, Oxford | xix, 350 sidor. ill. 24 cm. | 978-0-19-856651-9 |