Symbolic Logic and Mechanical Theorem Proving
Seiten
1973
Academic Press (Verlag)
978-1-4933-0024-2 (ISBN)
Academic Press (Verlag)
978-1-4933-0024-2 (ISBN)
| Erscheint lt. Verlag | 11.6.1973 |
|---|---|
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Algebra |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 1-4933-0024-5 / 1493300245 |
| ISBN-13 | 978-1-4933-0024-2 / 9781493300242 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Eine Einführung für Studienanfänger
Buch | Softcover (2025)
Springer Spektrum (Verlag)
CHF 41,95
Sieben ausgewählte Themenstellungen
Buch | Softcover (2024)
De Gruyter Oldenbourg (Verlag)
CHF 89,95
