Éléments de logique mathématique théorie des modèles - Kreisel, Georg 1923-2015; Krivine, Jean-Louis (Dunod, 1967)