Section 2.4 Reference Topics

This site is a bit more advanced than the material in the text, but is related. Propositional logic:
http://www.cs.rochester.edu/u/www/u/leblanc/csc173/proplogic/

Links