Formal semantics and logic - Van Fraassen Bas C (N.Y The Macmillan Company)