Introduction to Set Theory, Revised and Expanded