Settheoryandlogic.pdf