Translated from the French, this book is an introduction to first-order model theory. Starting from scratch, it quickly reaches the …