Elements of mathematical logic : (model theory) - Kreisel, Georg, 1923-2015 (Studies in logic and the foundations of mathematics, 1967)