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