Sozialgeschichte Der Informatik
Dirk Siefkes
₹2,779
Formalisieren Und Beweisen
Logik für Informatiker
by Dirk Siefkes
Vieweg+teubner Verlag · 1990
₹3,508
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 ₹3,192 for this book (save ₹316).
9% off every book, up to ₹500 off per order.
About this book
The book deals with Symbolic and mathematical Logic.
Book details
- ISBN-13
- 9783528047573
- ISBN-10
- 3528047577
- Author
- Dirk Siefkes
- Publisher
- Vieweg+teubner Verlag
- Published
- 1990
- Pages
- 259
- Language
- English
- Condition
- New
More by Dirk Siefkes and related titles
Gi-4.Jahrestagung
Dirk Siefkes
₹3,143
Decidable Theories
Dirk Siefkes, Gert H. Mller
₹2,679
Formalisieren Und Beweisen
Dirk Siefkes
₹4,601
Büchi's Monadic Second Order Successor Arithmetic
Dirk Siefkes
₹4,988
Mathematik Für Bauingenieure
Josef Biehounek, Dirk Schmidt
₹3,508
Berechnung Längsstarrer Rahmen / Untersuchungen Zur Beulwertberechnung Von Rechteckplatten
Christoph Heinrich, Joseph Hintzen
₹5,802
Dynamics Reported
Urs Kirchgraber, Hans-Otto Walther
₹2,875
Mathematikunterricht in Der Sekundarstufe II
Hans-Heinz Wolpers, Uwe-Peter Tietze, Stefan Götz
₹2,415
Einführung in Die Elektrische Energiewirtschaft
Karl Brinkmann
₹3,508
New Results in Numerical and Experimental Fluid Mechanics
Horst Körner
₹7,730
Gegenwartsgesellschaften
W. Teckenberg
₹3,246