Mathematical Logic

1.5 credits · Undergraduate

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