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