Previous Courses Logic/Set Theory: Combinatorial number theory (MAT6932/4930) Sets and Logic (MHF 3202)