Dictionary of logical terms and symbols. - Greenstein Carol Horn (New York Van Nostrand reinhold, 1978)