Cours de logique mathématique - Fraissé, Roland (Gauthier-Villars, 1967)