From Sets and Types to Topology and Analysis
Towards Practicable Foundations for Constructive Mathematics
2007
Clarendon Press (Hersteller)
978-0-19-171392-7 (ISBN)
Clarendon Press (Hersteller)
978-0-19-171392-7 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
| Erscheint lt. Verlag | 1.9.2007 |
|---|---|
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| ISBN-10 | 0-19-171392-9 / 0191713929 |
| ISBN-13 | 978-0-19-171392-7 / 9780191713927 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
