Elements of mathematical logic (model theory) - Kreisel, Georg 1923-2015; Krivine, Jean-Louis (North-Holland, 1971)