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.
Credits: 3 hours
NOTE: Honors Scholar Course.
NOTE: This course counts toward the 63-hour Liberal Arts and Sciences (LAS) graduation requirement.