Elements of Formal Semantics

In five short chapters, this introductory textbook introduces some of the most essential principles and techniques of formal semantics.