Ideas from 'Investigations into Logical Deduction' by Gerhard Gentzen [1935], by Theme Structure

Click on the Idea Number for the full details    |     back to texts     |     expand this idea


5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
Natural deduction shows the heart of reasoning (and sequent calculus is just a tool)