LOGIC ASSIST
This tutor is designed to introduce the student to elementary logic. It covers Aristotelian and Symbolic logic. Includes text to study and exercises to practice.