Elements of mathematical logic (Model theory) - Kreisel, Georg (North Holland Pub. Co., 1967)
Translation of Eléments de logique mathématique, theorie des modéles
Includes bibliographical references