Elements of formal semantics : an introduction to the mathematical theory of meaning in natural language / Yoad Winter. Edinburgh : Edinburgh University Press, 2016