Éléments de logique mathématique: théorie des modèles - Kreisel, Georg (Monographies de la Société Mathématique de France, 1967)