From sets and types to topology and analysis towards practicable foundations for constructive mathematics
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Oxford
Clarendon Press
2005
|
| Schriftenreihe: | Oxford logic guides
48 |
| Schlagworte: | |
| Online-Zugang: | DE-703 URL des Erstveröffentlichers |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Beschreibung: | Published to Oxford Scholarship Online: September 2007 "Workshop held from 12 to 16 May 2003 at Venice International University" |
|---|---|
| Beschreibung: | 1 Online-Ressource (XIX, 350 Seiten) Diagramme |
| ISBN: | 9780191713927 |
| DOI: | 10.1093/acprof:oso/9780198566519.001.0001 |