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