Formal Semantics: An Introduction (Cambridge Textbooks in Linguistics)

This accessible introduction to formal, and especially Montague, semantics within a linguistic framework, presupposes no previous background in logic, but takes students step-by-step from simple predicate/argument structures and their interpretation to Montague's intentional logic.