Title: Calcul en logique du premier ordre
Subjects: Propositional calculus, First-order logic