Computational Logic and Proof Theory (English, Georg Gottlob | Alexander Leitsch | Daniele Mundici)
by Georg Gottlob | Alexander Leitsch | Daniele Mundici
Delivery options
₹5,561
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,561
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540571841
ISBN-10
3540571841
Author
Georg Gottlob | Alexander Leitsch | Daniele Mundici
About the Book
The Third Kurt Gdel Symposium, KGC'93, held in Brno, Czech Republic, August1993, is the third in a series of biennial symposia on logic, theoretical computer science, and philosophy of mathematics. The aim of this meeting wasto bring together researchers working in the fields of computational logic and proof theory. While proof theory traditionally is a discipline of mathematical logic, the central activity in computational logic can be foundin c…
ISBN: 9783540571841
ISBN-13: 9783540571841
ISBN-10: 3540571841
Frequently Asked Questions
What is the price of Computational Logic and Proof Theory?
Computational Logic and Proof Theory starts from ₹5561 at GlowMirror. Available in Paperback.
Who is the author of Computational Logic and Proof Theory?
Georg Gottlob | Alexander Leitsch | Daniele Mundici is the author of Computational Logic and Proof Theory. Browse more books by Georg Gottlob | Alexander Leitsch | Daniele Mundici on GlowMirror.
Is Computational Logic and Proof Theory available in Paperback and Hardcover?
Yes, Computational Logic and Proof Theory is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Computational Logic and Proof Theory?
Yes, GlowMirror offers free delivery for Computational Logic and Proof Theory across India. No minimum order value required.
Is Cash on Delivery available for Computational Logic and Proof Theory?
Yes, Cash on Delivery (COD) is available for Computational Logic and Proof Theory on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783540571841
🛒 Customers Also Bought
Pflegestandards (English, Adelheid Stösser)
₹3,508
Introduction to the Theory of Ferromagnetism (English, Amikam Aharoni)
₹28,056
The Meditations of Marcus Aurelius (English, R. B. Rutherford)
₹8,485
Chirurgie Der Abdominalen Und Thorakalen Aorta (English, R. I. Rückert | Wolfgang Hepp | Bernd Luther)
₹4,237
Mathematical Logic (English, Rene Cori | Daniel Lascar | Ren? Cori)
₹19,604
Exportgeschäft Von A-Z (English, Rainer Völkel)
₹3,249Related Products
Lagerstättentechnik (English, Hans-Dieter Voigt)
₹4,601
Pilze (English, J. Webster | K. Esser | B. D. Epp)
₹4,601
Introduction to Lattice Dynamics (English, Martin T. Dove | Andrew Putnis | Robert C. Liebermann)
₹16,957
Real-World Applications of Evolutionary Computing (English, Stefano Cagnoni | Riccardo Poli | George D. Smith)
₹5,580
The Cambridge Companion to Vygotsky (English, Harry Daniels | Michael Cole | James V. Wertsch)
₹4,540