First Page | Document Content | |
---|---|---|
![]() Date: 2003-11-07 00:31:44Model theory Quantification Complexity classes Predicate logic Quantifier elimination Presburger arithmetic Well-formed formula Arithmetical hierarchy Universal quantification Logic Mathematical logic Mathematics | Add to Reading List |