Set Theory and Its Logic, Revised Edition