Text this: Quantifiers: Logics, Models and Computation :