Compositionality in Formal Semantics is a collection of Barbara Partee's papers that have been influential in the field but are not readily available and includes a new introductory essay in which Partee reflects on how her thinking and the field of semantics have developed over the past 35 years.
Including the standard constructions of relations, functions, and orderings, and leading to a discussion of the various orders of infinity, this work covers the standard statement logic and first-order predicate logic, and includes an introduction to formal systems, axiomatization, and model theory.