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