Describir: Set theory and its logic