Regularly scheduled graduate courses PMATH 632: First order logic and computability PMATH 733: Model theory and set theory We also normally have at least one topics course in Logic each year.
Regularly scheduled graduate courses PMATH 632: First order logic and computability PMATH 733: Model theory and set theory We also normally have at least one topics course in Logic each year.