Classes Formal Theory Propositional Logic Predicate Calculus Resolution NP-Complete

Class #12 Logic and NP-Completeness Web References Prof. David Matuszek on: Recursive Functions Dr. Susan Stepney on: Primitive Recursion Send questions and comments to: Karen Lemone