Quick links
1240 Social Sciences and Humanities
University of California, Davis
One Shields Avenue
Davis, CA 95616
Phone: (530) 752-0607
Fax: (530) 752-8964
C. S. Peirce
Recent News
- This site has been re-designed to conform to UC Davis standards for Web pages.
This page contains links to on-line resources for the study of predicate logic.
- Peter Suber’s Symbolic logic course
- Richmond Thomason’s Symbolic Logic: An Introduction (password required)
- Robin Smith’s course Introduction to Logic
- SWI-Prolog predicate logic programming