"Model theory is the branch of mathematical logic that examines what it means for a first-order sentence... to be true in a particular structure....This is a text for graduate students, mainly aimed at those specializing in logic, but also of interest for mathematicians outside logic who want to know what model theory can offer them...it is one which makes a good case for model theory as much more than a tool for specialist logicians." -- THE MATHEMATICAL GAZETTE