Elements of mathematical logic : (model theory) - Kreisel, Georg (North Holland, 1967)
Τίτλος πρωτοτύπου : Eléments de logique mathématique, theorie des modéles.