Cours de Logique Mathématique destiné aux étudiants 2ème Année licence Informatique.