Caricamento...
From Sets and Types to Topology and Anlysis - towards practicable foundations for constructive mathematics/
| Autore principale: | |
|---|---|
| Altri autori: | |
| Natura: | Printed Book |
| Lingua: | English |
| Pubblicazione: |
clarendon press,
2005.
|
| Descrizione non disponibile. |