Generalized quantifiers and computation. 9th European summer school in Logic, language, and information, ESSLLI '97 workshop, Aix-en-Provence, France, August 11--22, 1997. Revised lectures (Q1965373)

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Väänänen, Jouko}, Generalized quantifiers, an introduction, 1-17 [Zbl 0964.03038] \textit{Libkin, Leonid; Nurmonen, Juha}, Counting and locality over finite structures. A survey, 18-50 [Zbl 0965.03046] \textit{Stewart, Iain A.}, A perspective on Lindström quantifiers and oracles, 51-71 [Zbl 0965.03052] \textit{Eiter, Thomas; Gottlob, Georg; Veith, Helmut}, Generalized quantifiers in logic programs, 72-98 [Zbl 0966.68043] \textit{Vollmer, Heribert}, A generalized quantifier concept in computational complexity theory, 99-123 [Zbl 0967.03035] \textit{Luosto, Kerkko}, Ramsey theory is needed for solving definability problems of generalized quantifiers, 124-139 [Zbl 0964.03035]