You are here

Logical Foundations of Proof Complexity

Publisher: 
Cambridge University Press
Number of Pages: 
479
Price: 
80.00
ISBN: 
9780521517294
Date Received: 
Monday, February 8, 2010
Reviewable: 
No
Include In BLL Rating: 
No
Reviewer Email Address: 
Stephen Cook and Phoung Nguyen
Series: 
Perspectives in Logic
Publication Date: 
2010
Format: 
Hardcover
Category: 
Monograph

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.

Publish Book: 
Modify Date: 
Monday, February 8, 2010

Dummy View - NOT TO BE DELETED