Set theory and logic - Stoll, Robert Roth (San Francisco W. H. Freeman, 1963)