First Page | Document Content | |
---|---|---|
![]() Date: 2009-10-20 18:53:39Logic Mathematical logic Abstraction Automated theorem proving Model theory Predicate logic Semantics Boolean algebra Resolution Cutting-plane method First-order logic Propositional calculus | Add to Reading List |