Combining Texts

Ideas for 'fragments/reports', 'Writing the Book of the World' and 'works'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / H. Proof Systems / 4. Natural Deduction

15001

'Tonk' is supposed to follow the elimination and introduction rules, but it can't be so interpreted [Sider]