First Page | Document Content | |
---|---|---|
![]() Date: 2016-07-28 16:53:46Model theory Logic in computer science Semantics Formal languages Logical truth Satisfiability modulo theories Interpretation Quantifier elimination True quantified Boolean formula Quantifier Substitution Well-formed formula | Add to Reading List |