Model Theory by C. C. Chang, H. Jerome Keisler

Model theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. …