Title: Natural deduction, the logical basis of axiom systems
Subjects: Metamathematics, Symbolic and mathematical Logic