Dictionary of logical terms and symbols - Greenstein, Carol Horn (Van Nostrand Reinhold, 1978)