Definition:Natural Deduction/Historical Note

Historical Note on Natural Deduction
The first system of rules for natural deduction was devised by in $1934$.