Exercices corriges Enseigner la logique propositionnelle et la déduction naturelle dans ... pdf

On a utilisé les logiciels computationnelle Mathematica et Maple pour réaliser des ... Exercices corrigés .