'Kearns' book provides a lively and engaging introduction to formal semantics. This new edition extends the scope of the first edition by providing additional material on formalization in a very accessible manner. The presentation is clear and user-friendly throughout, making this a really useful re[...]