Students taking this course should already have taken a year-long introductory course in logic in a Philosophy Department, or a mathematical course that covers the basics of set theory and logic. If ...