Logique mathématiqueCalcul propositionnel, algèbre de Boole, calcul des prédicats - Cours, exercices corrigés408 páginas15 horas de lecturaNotifícame