Set theory and logic - Stoll, Robert R. (Dover, 1963)