Ce cours a pour objectif de donner aux étudiants des notions de calculabilité et lesbases de la logique formelle à partir de l'étude de la logique propositionnelle