First Page | Document Content | |
---|---|---|
![]() Date: 2009-02-02 09:55:31Model theory Logic in computer science Metalogic Predicate logic Proof theory First-order logic Satisfiability Modulo Theories Presburger arithmetic Quantifier elimination Logic Mathematical logic Theoretical computer science | Add to Reading List |