Logical System gentzen 12/22/05 Introduction to Tactics This video is set in the context of the downloadable program, but it applies equally well in the setting of a proof applet. Your browser does not support html5 video.
