First Page | Document Content | |
---|---|---|
![]() Date: 2009-06-21 20:13:07Predicate logic Metalogic Formal languages Semantics First-order logic Interpretation Quantifier elimination Well-formed formula Quantification Logic Mathematical logic Model theory | Add to Reading List |