A course on mathematical logic (Q5891797)

The book under review is the second edition of [Zbl 1140.03001]. In this new edition, consistent changes have been made throughout the initial text. It provides a sound first introduction to a very important branch of logic, namely model theory. Topics in the new chapter include ultraproducts of models, elimination of quantifiers, types, applications of types to model theory, and applications to algebra, number theory and geometry. Several proofs, such as the proof of the completeness theorem, have been completely rewritten in a clearer and more concise way. The book also introduces new topics, such as the notion of elementary class of structures, elementary diagrams, partial elementary maps, homogeneous structures, definability, and many more.