Formal semantics textbook

Elements of Formal Semantics introduces some of the foundational concepts, principles and techniques in formal semantics of natural language. The book is intended for readers who have some elementary background in set theory and linguistics, but it does not assume any expertise in logic, math, or theoretical linguistics. By way of analyzing concrete English examples, the book brings central concepts and tools to the forefront, calling attention to the beauty of the mathematical principles underlying linguistic meanings.