Generalized Quantifiers And Computation door J. Vaananen