LOG120 Set theory, 7.5 credits