Besonderhede van voorbeeld: 3861610052972378669

English

In proof theory, Gerhard Gentzen developed natural deduction and the sequent calculus.

Dutch

In 1934 presenteert Gerhard Gentzen zijn systeem van de natuurlijke deductie en zijn sequentiecalculus.