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