CSCI 1323 (Discrete Structures):
Useful Links and Other Resources

(Suggestions for additions to this page are welcome; send to bmassing@cs.trinity.edu.)

Useful links

• One-page summaries of derivation rules for propositional logic and predicate logic.
• The Web site for the textbook: http://www.whfreeman.com/gersting/. (If the site prompts you for a password at some point, see the "Note to Students" at the beginning of the textbook for what to supply.)