Set theory and logic - Fraenkel, Abraham Adolf 1891-1965 (Addison-Wesley Pub., 1966)