Back to Results
First PageMeta Content
Logic in computer science / Propositional calculus / Mathematical logic / Automated theorem proving / Computational complexity theory / Frege system / Proof complexity / Propositional proof system / Tautology / Theoretical computer science / Mathematics / Logic


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

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

Open Document

File Size: 476,53 KB

Share Result on Facebook
UPDATE