Modelltheorie by Georg Kreisel & Jean-Louis Krivine