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


Document Date: 2006-08-24 20:08:31

Open Document

File Size: 390,02 KB

Share Result on Facebook
UPDATE