Looking for an examination copy?
This title is not currently available for examination. However, if you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact email@example.com providing details of the course you are teaching.
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 uniform treatment of many systems in the literature, including Buss’s theories for the polynomial hierarchy and many disparate systems for complexity classes such as AC0, AC0(m), TC0, NC1, L, NL, NC, and P.Read more
- Suitable as an advanced graduate text
- Contains a wealth of original material
- Will serve as a valuable reference for proof complexity
Reviews & endorsements
"This authoritative volume on computational complexity of logical systems provides a sound background in logic for computer science and mathematics students. The book provides a number of exercises that offer insights into the presented material and facilitate the understanding of the concepts and results. The list of bibliographic references contains the most-representative published work in the domains of proof and computational complexity theories."
L. State, reviews.comSee more reviews
"This most erudite of books will stand the test of time. I will revisit it often."
George Hacken, Computing Reviews
"... very great detail and with care... The presentation of the book is most thorough and the treatment rigorous, providing the reader with the right amount of intuition and detail to follow even complicated constructions. The new book by Cook and Nguyen will become another classic for the field of bounded arithmetic and its relations to computational complexity and propositional proof complexity. It will serve as a rich source of reference for the expert and as a thorough guide to the student interested in learning about this beautiful field."
Olaf Beyersdorff, Mathematical Reviews
Be the first to review this book
- Date Published: January 2010
- format: Hardback
- isbn: 9780521517294
- length: 496 pages
- dimensions: 234 x 156 x 32 mm
- weight: 0.94kg
- contains: 17 b/w illus. 5 tables
- availability: Available, despatch within 1-2 weeks
Table of Contents
2. The predicate calculus and the system
3. Peano arithmetic and its subsystems
4. Two-sorted logic and complexity classes
5. The theory V0 and AC0
6. The theory V1 and polynomial time
7. Propositional translations
8. Theories for polynomial time and beyond
9. Theories for small classes
10. Proof systems and the reflection principle
11. Computation models.
You are now leaving the Cambridge University Press website, your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.Continue ×