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