Is there good reference for proof complexity?

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. Sep 10, 2017 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. Sep 10, 2017 at 15:53