Tag: natural deduction

1 events with tag "natural deduction"

1935 ID: 372

Gerhard Gentzen introduces natural deduction and sequent calculus, revolutionizing proof theory

ID: 372

Göttingen University