Graduate 2019-2020
Graduate 2019-2020 > Graduate Course Descriptions > MATH - Mathematics > 700 > MATH 778
The notion of proof, first order logic, set theory, ordinals, cardinals and an overview of the most important recent results in the field.