First Page | Document Content | |
---|---|---|
![]() Date: 2014-11-26 15:35:09Mathematical logic Logic Mathematics Model theory Predicate logic Automated theorem proving Logic programming Substitution First-order logic Normal distribution Structure Axiom of extensionality | Add to Reading List |