Definition:Natural Deduction/Historical Note
Jump to navigation
Jump to search
Historical Note on Natural Deduction
The first system of rules for natural deduction was devised by Gerhard Gentzen in $1934$.
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): natural deduction
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): natural deduction