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 (Lecture notes in computer science, 1999)