MATH 330 Symbolic Logic
A study of modern formal logic, including both sentential logic and predicate logic. This course will improve students' abilities to reason effectively. Includes a review of topics such as proof, validity, and the structure of deductive reasoning.