Title: Theory of Formal Deducibility
Subjects: Logic, symbolic and mathematical