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