Lataa...
From Sets and Types to Topology and Anlysis - towards practicable foundations for constructive mathematics/
| Päätekijä: | |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Printed Book |
| Kieli: | English |
| Julkaistu: |
clarendon press,
2005.
|
| Kuvausta ei saatavissa. |