MATH 3410

Introduction to Mathematical Logic

Propositional and first-order logic. Recursion theory. May not be held with the former MATH 4250. Prerequisite: MATH 2020 (C) or MATH 2021 (C) or the former MATH 2202 (C) or the former MATH 2352 (C) or consent of instructor.

Hide course graph
course_MATH_3410 cluster_equiv_1 MATH 3410 MATH 3410 MATH 2020 MATH 2020 C or better MATH 2020->MATH 3410 MATH 2021 MATH 2021 C or better MATH 2021->MATH 2020 or