Quantifiers in Action - Badia, Antonio; Fourman, M. P.; Mulvey, C. J.; Scott, Dana S.; London Mathematical Society (Springer US, 2009)