Date of Original Version
1982
Type
Article
Abstract or Table of Contents
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.