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