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