Exercise 4, 6c (Additional Note 4)
Document
On the question whether every formula in a natural deduction needs to be used.
People:
Date created:
Sunday, June 1, 2014
Attribution for this resource:
Exercise 4, 6c (Additional Note 4), © Peter Wyss, licensed under .
Subjects:
Courses using this resource: