posted on 1982-01-01, 00:00authored byPreston K. Covey
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.