Dictionary of Logical Terms and Symbols by Carol Horn Greenstein