# Practice Problems on the Elimination of Quantifiers

In a recent answer, JDH gave a remarkable proof that the integers are not definable in the structure $(\mathbb{Q},+,<)$ using Quantifier Elimination. Since I already have the old Enderton book, are there other texts that provide problems that can give the reader some practice using Quantifier Elimination? Thanks!

-