<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-03-28 11:42:09Metalogic Predicate logic Semantics First-order logic Quantifier elimination Quantification Well-formed formula Constructible universe Presburger arithmetic Logic Mathematical logic Model theory |
Add to Reading List |
Monadic Counting Does Not Suffice Steven Lindell, Haverford College