The Work First Order Predicate Logic with Generalized Quantifiers The details The Author Per Lindström The offers