[Logique] 5.5. Langage du premier ordre avec fonctions

Cours de logique Chapitre 5. Logique du premier ordre Partie 5. Langage avec fonctions Fonctions. Formules. Exemples. Retrouvez le livre sur https://exo7.emath.fr