Introduction à la logique : corrections des exercices
Introduction à la Logique (Logique I) 1ère Année - ppt télécharger
Librairie Mollat Bordeaux - Serie - Logique mathématique
A.2 Exercices de révision A.3 Corrigés
Calcul propositionnel - ppt video online télécharger
Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats, Volume 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices corrigés - Daniel Lascar,