Computational Logic and Proof Theory (English, Georg Gottlob | Alexander Leitsch | Daniele Mundici)

Name: Computational Logic and Proof Theory (English, Georg Gottlob | Alexander Leitsch | Daniele Mundici)
SKU: isbn-9783540571841
Price: 5561.00 INR
Availability: InStock
ISBN: 9783540571841

By Georg Gottlob | Alexander Leitsch | Daniele MundiciSpringer

₹5,561

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:

Free DeliveryOn every order

15-Day ReturnEasy returns

Genuine BookPhysical copy only

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

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

Book Specifications

ISBN-13	9783540571841
ISBN-10	3540571841
Publisher	Springer
Category	Springer

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 90874 10993.

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.