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. Your browser does not support html5 video. Book traversal links for Help with Tutorial 25h ‹ Help with Tutorial 25g Up Try your own derivations ›