Set theory and logic - Fraenkel, Abraham Adolf 1891-1965 (Adiwes international series, 1966)