Modelltheorie eine Einführung in die mathematische Logik und Grundlagentheorie - Kreisel, Georg 1923-2015; Krivine, Jean-Louis (Springer, 1972)