Quantifiers In Language & Logic P by Stanley Peters & Dag Westerstahl