display all the ideas for this combination of texts
1 idea
18120 | The Deduction Theorem is what licenses a system of natural deduction [Bostock] |
Full Idea: The Deduction Theorem is what licenses a system of 'natural deduction' in the first place. | |
From: David Bostock (Philosophy of Mathematics [2009], 7.2) |