Canonical Equational Proofs
1991
Birkhauser Boston (Verlag)
978-0-8176-3547-3 (ISBN)
Birkhauser Boston (Verlag)
978-0-8176-3547-3 (ISBN)
- Titel erscheint in neuer Auflage
- Artikel merken
Erscheint lt. Verlag | 1.5.1991 |
---|---|
Reihe/Serie | Progress in Theoretical Computer Science |
Sprache | englisch |
Gewicht | 1210 g |
Themenwelt | Mathematik / Informatik ► Mathematik |
ISBN-10 | 0-8176-3547-5 / 0817635475 |
ISBN-13 | 978-0-8176-3547-3 / 9780817635473 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Von Logik und Mengenlehre bis Zahlen, Algebra, Graphen und …
Buch | Softcover (2024)
De Gruyter Oldenbourg (Verlag)
CHF 104,90
fundiert, vielseitig, praxisnah
Buch | Softcover (2021)
Springer Berlin (Verlag)
CHF 46,15
Analysis und Lineare Algebra mit Querverbindungen
Buch | Hardcover (2022)
Springer Spektrum (Verlag)
CHF 89,95