Return to Revisions

2 of 2

added 1 character in body; edited tags

edited Sep 10, 2017 at 15:41

4.7k
4
35
40

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!

reference-request lo.logic proof-theory proof-complexity

asked Sep 10, 2017 at 15:34

781
4
13