Set theory : with an introduction to descriptive set theory