MATH481

Mathematical Logic

An introduction to the mathematical treatment of formal logic with applications to other parts of pure and discrete mathematics. Fundamental topics from set theory and model theory, including ordinals, cardinals, transfinite induction, formal languages, and the metatheory of first-order logic.