open.conted.ox.ac.uk (beta)

Open Educational Resources

Exercises 4 (Solution for 5)

Document

Solutions for the three natural deductions of exercise 5a–c.

People: 
Date created: 
Tuesday, February 19, 2013
Attribution for this resource:
Exercises 4 (Solution for 5), © Peter Wyss, licensed under CC BY-NC-SA.
Subjects: 
Courses using this resource: