Quantifiers: Logics, Models and Computation heftetEngelsk, 2010