Back to Results
First PageMeta Content
Computability theory / Logic in computer science / Proof theory / Computational complexity theory / Propositional proof system / Decision problem / ACC0 / First-order logic / Reverse mathematics / Theoretical computer science / Mathematical logic / Mathematics


Document Date: 2008-01-04 17:28:09

Open Document

File Size: 837,97 KB

Share Result on Facebook
UPDATE