Publisher's Synopsis
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.