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