Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Seiten
2023
Birkhauser (Verlag)
978-3-031-21113-3 (ISBN)
Birkhauser (Verlag)
978-3-031-21113-3 (ISBN)
| Erscheinungsdatum | 10.11.2023 |
|---|---|
| Zusatzinfo | Illustrations |
| Sprache | englisch |
| Maße | 156 x 234 mm |
| Gewicht | 440 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 3-031-21113-8 / 3031211138 |
| ISBN-13 | 978-3-031-21113-3 / 9783031211133 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
CHF 34,95
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 48,95
