Ładuje się......
From Sets and Types to Topology and Anlysis - towards practicable foundations for constructive mathematics/
| 1. autor: | |
|---|---|
| Kolejni autorzy: | |
| Format: | Printed Book |
| Język: | English |
| Wydane: |
clarendon press,
2005.
|