Generalized Quantifiers And Computation by J. Vaananen