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
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99 €
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
25,00 €