-62% OFFLogical Foundations of Proof Complexity (English, Stephen Cook | Phuong Nguyen)
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵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
Specifications
| Publisher | Cambridge University Press |
| Language | English |
| ISBN-13 | 9780521517294 |
| ISBN-10 | 052151729X |
| Author | Stephen Cook | Phuong Nguyen |
Product Description
Here on GlowMirror, you'll find Logical Foundations of Proof Complexity filed under Cambridge University Press -- everything you need to know is covered below.
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
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Logical Foundations of Proof Complexity
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Cambridge University Press
Who Should Read This
Advanced students, researchers, and domain experts seeking in-depth knowledge.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy





