You are here

Logical Foundations of Proof Complexity

Stephen Cook and Phoung Nguyen
Publisher: 
Cambridge University Press
Publication Date: 
2010
Number of Pages: 
479
Format: 
Hardcover
Series: 
Perspectives in Logic
Price: 
80.00
ISBN: 
9780521517294
Category: 
Monograph
We do not plan to review this book.

1. Introduction; 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.