Cours de logique matematique : RELATION ET FORMULE LOGIQUE. TOME 1. - Fraisse, Roland (Paris : Gauthier-Villars, Paris, 1971)