Irene Heim Book order (chronological)

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