First Page | Document Content | |
---|---|---|
![]() Date: 2011-11-16 13:42:21Mathematical logic Logic Mathematics Model theory Automated theorem proving Predicate logic Semantics Logic programming Resolution First-order logic Skolem normal form Substitution | Add to Reading List |