Dr. Rupert's website for Philosophy 2440, Symbolic Logic, Spring 2008
Homework and reading assignments
Logic Tutor
Calculating truth-values of compound statements