Is there good reference for proof complexity?

Question

I am asking if there are some good or standard references for proof complexity theory? I didn't find references when I search in internet. Thanks!

Previously posted on math.SE (with no answers): Reference for proof complexity theory. — Martin Sleziak, Sep 10 '17 at 15:42
Perhap you could expand on what you mean by "proof complexity theory"? In the meantime, maybe this earlier MO question is relevant: Deep theorems and long proofs. In particular, see Joel Hamkins' references there. — Joseph O'Rourke, Sep 10 '17 at 15:53

score 14 · Answer 1 · edited Jul 14 '23 at 08:55

These are three books that I know:

Also, I suggest you read the following papers:

==============================================

Update. Jan Krajíček wrote a new book on this topic recently. You can find the final manuscript of it here.

1 Answers1