Computational Logic and Proof Theory (English, Georg Gottlob | Alexander Leitsch | Daniele Mundici)
by Georg Gottlob | Alexander Leitsch | Daniele Mundici
Delivery options
₹5,561
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 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 BookBajar. Available in Paperback. This is one of the best prices available online in India.
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 BookBajar.
Is Computational Logic and Proof Theory available in Paperback and Hardcover?
Yes, Computational Logic and Proof Theory is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Computational Logic and Proof Theory?
Yes, BookBajar 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 BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540571841
🛒 Customers Also Bought
Der Modellbau, Die Modell- Und Schablonenformerei (English, R. Löwer)
₹4,183
Design and Analysis of Analog Filters (English, Larry D. Paarmann)
₹3,470
Das Haftungsdreieck Pharmaunternehmen - Arzt - Patient (English, Adem Koyuncu)
₹4,516
Culturally Responsive Pedagogy: Teaching Like Our Students’ Lives Matter: 4 (Innovation and Leadership in English Language Teaching) (English, Hard...
₹5,606
Das Fehlerbuch Des Radioamateurs (English, Siegmund Strauß | Eugen Nesper)
₹5,041
Denken Und Fühlen (English, Erwin Roth)
₹4,132Related Products
Gerichtliche Medizin (English, Berthold Mueller)
₹4,171
Gödel's Incompleteness Theorems (English, Dirk W. Hoffmann)
₹3,839
Riesen Des Meeres (English, E. J. Slijper)
₹3,721
Handbuch Der Zahnheilkunde (English, Na Partsch | Na Williger | Na Hauptmeyer)
₹4,688
Equations Differentielles Operationnelles (English, Jacques Louis Lions)
₹5,095