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
Emotions and Multilingualism (English, Aneta Pavlenko | Pavlenko Aneta)
₹3,409
The Homotopy Theory of (∞,1)-Categories (English, Julia E. Bergner)
₹14,706
Fourier-Mukai Transforms in Algebraic Geometry (English, D. Huybrechts)
₹19,980
Differential Geometry and Statistics (English, Murray M.K.)
₹16,462
The Meditations of Marcus Aurelius (English, R. B. Rutherford)
₹8,485
Screen- Und Interfacedesign (English, Torsten Stapelkamp)
₹4,380Related Products
Rotodynamic Pump Design (English, R. K. Turton)
₹5,705
Elements of Algebraic Coding Theory (English, Vermani L.R.)
₹10,213
Analyzing Health Equity Using Household Survey Data (English, Owen O'Donnell | Eddy Van Doorslaer | Adam Wagstaff)
₹2,599
A Gentle Course in Local Class Field Theory (English, Pierre Guillot)
₹9,871
Nanoscale Energy Transport and Conversion (English, Gang Chen)
₹24,264