M. Weese

• Decidability and Generalized Quantifiers