Dr. Rupert's website for Philosophy 2440, Symbolic Logic, Fall 2008
Homework and reading assignments
Logic Tutor
Calculating truth-values of compound statements
Solutions to finite-domain review problems (for Exam #3)