H. -P Tuschik

• Decidability and Generalized Quantifiers