Springer
Computational Logic and Proof Theory (English, Georg Gottlob | Alexander Leitsch | Daniele Mundici)
₹5,561
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Book Details
| ISBN-13 | 9783540571841 |
| ISBN-10 | 3540571841 |
Product Description
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
Frequently Asked Questions
What is the price of Computational Logic and Proof Theory?
Computational Logic and Proof Theory is available at ₹5,561 on BookShops.in.
Does BookShops.in offer free delivery for Computational Logic and Proof Theory?
FREE delivery on all orders for Computational Logic and Proof Theory.
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 BookShops.in. Pay when your order arrives.
What is the return policy for Computational Logic and Proof Theory?
BookShops.in offers a 15-day hassle-free return policy for Computational Logic and Proof Theory. Contact us at support@bookshops.in or call +91 81899 68108.
Is Computational Logic and Proof Theory authentic?
Computational Logic and Proof Theory is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
