1909 - 1945
Click the picture above
Gentzen invented a 'natural deduction' which provided a logic closer to mathematical reasoning than the systems proposed by Frege, Russell and Hilbert.
|Full MacTutor biography||[Version for printing]|
|List of References (8 books/articles)|
Other Web sites
JOC/EFR © September 2001
The URL of this page is: