Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97, Aix-en-Provence, France, August 1997 : revised lectures / - Väänänen, J. (Springer Verlag,, 2000)