MATH 3710. Introduction to Mathematical Logic. 3 Credits.
Symbolic logic as a precise formalization of deductive thought. Logical correctness of reasoning. Formal languages, interpretations, and truth. Propositional logic and first-order quantifier logic suited to deductions encountered in mathematics. Goedel’s completeness theorem; compactness. Prerequisite: MATH 2971 or permission of instructor.