Return to Revisions

3 of 5

added 2 characters in body

edited Sep 11, 2017 at 2:09

1.7k
1
11
17

These are three books that I know:

Logical Foundations of Proof Complexity
Bounded Arithmetic, Propositional Logic and Complexity Theory
Logical Foundations of Mathematics and Computational Complexity, Proof complexity chapter

Also, I suggest you read the following papers:

answered Sep 10, 2017 at 15:58

1.7k
1
11
17