Doets Kees. Basic Model Theory

CSLI Publications, 1996. — 142 p. — ISBN: 1575860481, 157586049X.Model theory investigates the relationships between mathematical structures ('models') on the one hand and formal languages (in which statements about these structures can be formulated) on the other. The emphasis is on first-order languages, the model theory of which is best known.