Title: Natural deduction
Subjects: Logic, Modality (Logic), Symbolic and mathematical Logic, Logic, symbolic and mathematical
People: Gerhard Gentzen