2016-2017 Graduate
2016-2017 Graduate > 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.