Set theory and logic. - Fraenkel, Abraham A. (Addison-Wesley Publishing Company, Inc., 1966)