Location:
Germany
Coordinates:
51.3947, 9.7848
Events at Göttingen University (1)
1935
ID: 372
Gerhard Gentzen introduces natural deduction and sequent calculus, revolutionizing proof theory
ID: 372