Quantifiers: Logics, Models and Computation