File
Chap3
Completion requirements
Raisonnement dans la logique propositionnelle