Computational Logic and Proof Theory (English, Georg Gottlob | Alexander Leitsch | Daniele Mundici)
by Georg Gottlob | Alexander Leitsch | Daniele Mundici
Delivery options
₹5,616
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,616
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540633853
ISBN-10
3540633855
Author
Georg Gottlob | Alexander Leitsch | Daniele Mundici
About the Book
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining researc…
ISBN: 9783540633853
ISBN-13: 9783540633853
ISBN-10: 3540633855
Frequently Asked Questions
What is the price of Computational Logic and Proof Theory?
Computational Logic and Proof Theory starts from ₹5616 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-9783540633853
🛒 Customers Also Bought
Archaeology Under Dictatorship (English, Michael L. Galaty | Charles Watkinson)
₹11,500
Collective Dynamics of Nonlinear and Disordered Systems (English, Günter Radons | Wolfram Just | Peter Häussler)
₹17,390
The Evolution of Conceptual Modeling (English, Roland Kaschek | Lois M. L. Delcambre)
₹5,822
Soft Matter Physics (English, Maurice Kleman | J. Friedel | Oleg D. Laverntovich)
₹33,856
Analyzing Health Equity Using Household Survey Data (English, Owen O'Donnell | Eddy Van Doorslaer | Adam Wagstaff)
₹2,599
Differential Geometry and Statistics (English, Murray M.K.)
₹16,462Related Products
Scanning Force Microscopy of Polymers (English, G. Julius Vancso | Holger Schönherr)
₹13,180
Angstdiagnostik (English, Jürgen Hoyer | Jürgen Margraf)
₹5,330
Handbook on Modelling for Discrete Optimization (English, Gautam M. Appa | Leonidas Pitsoulis | H. Paul Williams)
₹12,248
Interstitial Prostate Brachytherapy (English, György Kovács | Peter Hoskin)
₹14,627
Erfolgsfaktor Innovation (English, Ralph Berndt)
₹4,237