The list is originally found in the American Philosophical Association resources. Here follows the original text with the mentioned insertions. The following is a preliminary list of logic tutorial programmes . This list is compiled from responses to our request for information concerning programmes compatible with Copi's Introductory and Symbolic Logic texts.
Additions are welcome.
By A.Nowodworsky and A.Smirnov. DN is a deriver teaching how to build a natural deduction in Kleene-Gentzen's style, FN how to calculate normal forms. The Electronic Accessory. Dept of Philosophy, California State University at Chico, Chico CA 95929-0730. PC or Mac.