Formal semantics : - Cann, Ronnie (Cambridge textbooks in linguistics, 1993)