Back to Results
First PageMeta Content
Computational complexity theory / Propositional calculus / Logic in computer science / Boolean algebra / Circuit complexity / Tautology / Switching lemma / Logical connective / Proof complexity / Theoretical computer science / Mathematics / Logic


An Introduction to Proof Complexity, Part I. Pavel Pudl´ak
Add to Reading List

Document Date: 2009-07-30 07:35:13

Open Document

File Size: 435,88 KB

Share Result on Facebook
UPDATE