Title: Logique, réduction, résolution
Subjects: Logique symbolique et mathématique