Course in Model Theory

Translated from the French, this book presents an introduction to first-order model theory. Starting from scratch, it reaches the essentials, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. It introduces logic via the study of the models of arithmetic.