[comp.edu] Logic instruction software needed

mike@terminator.cc.umich.edu (Mike Nowak) (09/13/90)

David Velleman of the Philosophy Dept. here at U-M is looking for
instructional software to teach logic for introductory phiolosophy
courses.  In particular, he is looking for software which has:
 
o interactive exercises for the student
o ability to track individual student progress
o ability to run on a network where student data is centralized where
  the instructor can get to it.

If you know of software in this area or have ideas where David could find
such software, please send him electronic mail at:

David_Velleman@ub.cc.umich.edu