Ce cours est essentiellement destiné a rappeler les notions de bases pour la Logique mathématique