Logical System gentzen Example of a difficult derivation 6/1/09 [need to check] Your browser does not support html5 video.
