Visitor

Views

Logique et mathématique discrète - Google Groups

Exercice 1 : Soient A, M et S des symboles de prédicats, x un symbole de variable libre et a un symbole de constante. Commenter les ...