Decidable Theories
Dirk Siefkes, Gert H. Mller
₹2,679
Formalisieren Und Beweisen
Logik für Informatiker
by Dirk Siefkes
Vieweg+teubner Verlag · 1992 · Paperback
₹4,601
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹4,187 for this book (save ₹414).
9% off every book, up to ₹500 off per order.
About this book
Its main subjects are Symbolic and mathematical Logic.
Book details
- ISBN-13
- 9783528147570
- ISBN-10
- 3528147571
- Author
- Dirk Siefkes
- Publisher
- Vieweg+teubner Verlag
- Published
- 1992
- Binding
- Paperback
- Pages
- 259
- Language
- English
- Condition
- New
More by Dirk Siefkes and related titles
Sozialgeschichte Der Informatik
Dirk Siefkes
₹2,779
Gi-4.Jahrestagung
Dirk Siefkes
₹3,143
Formalisieren Und Beweisen
Dirk Siefkes
₹3,508
Büchi's Monadic Second Order Successor Arithmetic
Dirk Siefkes
₹4,988
Emvu-Messtechnik
Paul Weiß, Otto Mildenberger, Bernd Gutheil
₹4,374
Einführung in Die Methoden Der Numerischen Mathematik
Wolfgang Böhm
₹3,508
Grundzüge Der Datenverarbeitung
Kurt Bauknecht, Carl August Zehnder
₹3,623
Mathematik-Vorkurs
Wolfgang Schäfer, Kurt Georgi, Gisela Trippler
₹3,249
Die Spezielle Relativitätstheorie
Anthony P. French
₹5,330
Elektronik-Aufgaben Analoge Schaltungen
Bodo Morgenstern
₹2,875
Theorie Der Psychotechnik
Fritz Giese
₹3,508