Logique mathématiqueCalcul propositionnel, algèbre de Boole, calcul des prédicats - Cours, exercices corrigés408 pages15 hours of readingTrack