Logical Foundations of Proof Complexity (English, Stephen Cook | Phuong Nguyen)-62% OFF
Sciences, Technology & Medicine

Logical Foundations of Proof Complexity (English, Stephen Cook | Phuong Nguyen)

5,18613,802Save 62%

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 DeliveryFree shipping on all orders
  • 💵Cash on DeliveryPay when your order arrives
  • ↩️15-Day Easy ReturnsHassle-free return policy
  • 🔒Cash on DeliveryPay safely when your order arrives

Check Delivery

Book Details

ISBN-139780521517294
ISBN-10052151729X

Product Description

About the Book

This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. Associated with each of many complexity classes are both a two-sorted predicate calculus theory, with induction restricted to concepts in the class, and a propositional proof system. The result is a unifo…

ISBN: 9780521517294

Frequently Asked Questions

What is the price of Logical Foundations of Proof Complexity?
Logical Foundations of Proof Complexity is available at ₹5,186 on BookShops.in.
Does BookShops.in offer free delivery for Logical Foundations of Proof Complexity?
FREE delivery on all orders for Logical Foundations of Proof Complexity.
Is Cash on Delivery available for Logical Foundations of Proof Complexity?
Yes, Cash on Delivery (COD) is available for Logical Foundations of Proof Complexity on BookShops.in. Pay when your order arrives.
What is the return policy for Logical Foundations of Proof Complexity?
BookShops.in offers a 15-day hassle-free return policy for Logical Foundations of Proof Complexity. Contact us at support@bookshops.in or call +91 81899 68108.
Is Logical Foundations of Proof Complexity authentic?
Logical Foundations of Proof Complexity is listed on BookShops.in after verification of product details including ISBN, title, and availability information.