Cambridge University Press
Logical Foundations of Proof Complexity (English, Stephen Cook | Phuong Nguyen)
₹5,186
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
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
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 Specifications
| ISBN-13 | 9780521517294 |
| ISBN-10 | 052151729X |
| Publisher | Cambridge University Press |
| Category | Cambridge University Press |
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 90874 10993.
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.
Customers Also Bought
Cambridge University Press
Mediterranean Islands, Fragile Communities and Persistent Landscapes by Andrew Bevan – Archaeology
₹5,473
Cambridge University Press
Magnetism in Carbon Nanostructures
₹5,013
Cambridge University Press
Orthogonal Polynomials of Several Variables by Charles F. Dunkl
₹5,904
Cambridge University Press
Site Automation | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge Unive
₹4,993
Cambridge University Press
Plant Conservation Science and Practice | by Stephen Blackmore | Sara Oldfield | Cambridge University Press | by Stephen Blackmore | Sara Oldfield | Cambridge University Press | by Stephen Blackmore | Sara Oldfield | Cambridge University Press | by Stephen Blackmore | Sara Oldfield | Cambridge University Press | by Stephen Blackmore | Sara Oldfield | Cambridge University Press | by Stephen Blackmore | Sara Oldfield | Cambridge University Press | by Stephen Blackmore | Sara Oldfield | Cambridge U
₹4,433
Cambridge University Press
Indigo Plantations and Science in Colonial India
₹5,213
Related Products
View All
Cambridge University Press
Nietzsche on Suffering | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge University Press | by Christopher Janaway | Cambridge Universi
₹2,106
Cambridge University Press
From Counting to Continuum | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Press | by Edward Scheinerman | Cambridge University Pr
₹5,414
Cambridge University Press
The Phonetics of Tarifit | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir | Georgia Zellou | Cambridge University Press | by Mohamed Afkir |
₹2,054
Cambridge University Press
The Psychology of Personhood by Jack Martin – Psychology
₹3,127
Cambridge University Press
Indigo Plantations and Science in Colonial India
₹5,213
Cambridge University Press
Stable Categories and Structured Ring Spectra: 69 (Mathematical Sciences Research Institute Publications, Series Number 69)
₹5,844