MATH 467 - Logic and Set Theory

First order logic, consistency, the completeness theorem. Recursive functions. An introduction to axiomatic set theory including ordinal and cardinal arithmetic and the axiom of choice.

Prerequisite: MATH 451 - Algebraic Structures I.
Credits: 3
NOTE:
* Honors Scholar Course.
** This course counts toward the 63-credit Liberal Arts and Sciences (LAS) graduation requirement.