Information about my classes:

MAT 175, Calculus I

CMP 416, CMP 685 Computability Theory
MAT 442, MAT 771 Mathematical Logic

Phil 76600, Modal Logic