Email Record: Quantifiers: Logics, Models and Computation :