Eléments de logique mathématique: théorie des modèles - Kreisel, G; Krivine, J. L (Monographies de la Société Mathématique de France, 3, 1966)