First Page | Document Content | |
---|---|---|
![]() Date: 2008-01-04 17:28:09Computability 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 | Source URL: www.cs.toronto.eduDownload Document from Source WebsiteFile Size: 837,97 KBShare Document on Facebook |