When I took this course it was almost entirely set theory, which caught a lot of people in the class off guard - definitely the most math/logic-heavy course I ever took from the philosophy department by a long shot, and having a basic understanding of set theory and some quantum mechanics really helped me personally. Grade was mostly dependent on worksheets which were basically all formal proofs, together with reading quizzes and a take-home final. Very interesting material and well taught.