Logical System
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. [It is also using a different logical system. However it will convey the principles, The video will be replaced with one suitable for this setting.]