Angelika Kratzer Poradie kníh (chronologicky)

Written by two of the leading figures in the field, this is a lucid and systematic introduction to formal semantics.