Logical System gentzen Example of a Harder Propositional Proof 2/27/06 Example Your browser does not support html5 video.
