Computer-Based Logic and Argument Analysis: Analytics

I have developed a package of computer-assisted instruction programs at Carnegie-Mellon University to teach first-order logic and to explore its applications to the analysis of relatively sophisticated (in our case, philosophic) arguments. The package is called ANALYTICS.