File
TD2
Completion requirements
Série n°2 sur la sémantique de la Logique Propositionnelle