Irene Heim Poradie kníh (chronologicky)

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