Voir la source de 917 -- Logique du premier ordre : syntaxe et sémantique.
Vous n'êtes pas autorisé(e) à modifier cette page, pour la raison suivante :
Vous pouvez voir et copier le contenu de la page :
Revenir à la page 917 -- Logique du premier ordre : syntaxe et sémantique..