Gerhard Gentzen
E238811
UNEXPLORED
Gerhard Gentzen was a German mathematician and logician best known for founding structural proof theory and introducing natural deduction and sequent calculus.
Referenced by (2)
| Subject (surface form when different) | Predicate |
|---|---|
|
Gerhard
→
|
hasNotableBearers |
|
Jacques Herbrand
→
|
influenced |