Further help with Reductio and Quiz 6

Logical System
bergmann

Quiz 6 Example of a difficult derivation

6/1/09