Module: Logique mathématique (deuxième année licence)