Foundations of Constructive Mathematics
Metamathematical Studies
Seiten
1985
Springer Berlin (Hersteller)
978-3-540-12173-2 (ISBN)
Springer Berlin (Hersteller)
978-3-540-12173-2 (ISBN)
Lese- und Medienproben
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
Der Mathematik- und Informatiklehrer Dr. Michael Beeson hat 1985 mit der Entwicklung von MathXpert begonnen.
| Reihe/Serie | Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge ; 6 |
|---|---|
| Zusatzinfo | . |
| Verlagsort | Berlin |
| Sprache | englisch |
| Gewicht | 926 g |
| Einbandart | gebunden |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| Schlagworte | Mathematik • Metamathematik |
| ISBN-10 | 3-540-12173-0 / 3540121730 |
| ISBN-13 | 978-3-540-12173-2 / 9783540121732 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
