1. Cours de logique mathématique, t. 1 (Relation et formule logique). Gauthier-Villars, Paris 1971. (Trad. anglaise: Reidel, Dordrecht 1973.)
2. Cours de logique mathématique, t. 2 (Théorie des modèles). Gauthier-Villars, Paris 1972. (Trad. anglaise: Reidel, Dordrecht 1974.)
3. Cours de théorie des relations (Polycopié). Marseille 1968; Nouvelle version 1979.