Barbara H. Partee has played a central role in developing the now-flourishing field of formal semantics, bringing the formal semantic approach developed by logicians together with a linguistically sophisticated account of the syntax of natural languages. This essential book provides a one-volume collection of Barbara Partee's papers that have been influential in the field but are not all readily available.