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