Logical System gentzen 4/24/06 Tutorial 25 Exercises h This is about as difficult as it gets. If you can do this you can probably do any derivation.
