Subject: Summary of Proof Strategies
From: "William J. Rapaport" <rapaport@buffalo.edu>
Date: Wed, 14 Oct 2009 20:11:21 -0400 (EDT)

There is a summary of the proof strategies at the Logic website in the
Directory of Documents. You can link directly to it at:

http://www.cse.buffalo.edu/~rapaport/191/S09/pfstrat.html