Title: PX, a computational logic
Subjects: Symbolic and mathematical Logic, Automatic theorem proving, Démonstration automatique, Logique symbolique et mathématique, Théorèmes, PX, Logic, symbolic and mathematical