1. Partee BB, Ter Meulen AG, Wall R (2012) Mathematical methods in linguistics, vol 30. Springer, Dordrecht
2. Allwood J, Andersson GG, Andersson LG, Dahl O (1977) Logic in linguistics. Cambridge University Press, Cambridge
3. Gillon BS (2019) Natural language semantics: formation and valuation. MIT Press, Massachusetts
4. Carpenter B (1997) Type-logical semantics. MIT Press, Massachusetts
5. Cann R (1993) Formal semantics: an introduction. Cambridge University Press, Cambridge