Book review of Yoad Winter’s Elements of formal semantics (2016)

Yoad Winter’s (2016) new textbook, Elements of formal semantics , is a formally sophisticated introduction to semantic theory. It treats standard beginner topics (e.g. transitivity, quantifiers, relative clauses) carefully and efficiently, using a directly compositional lambda calculus.