Logic and philosophy for linguistics by