Symbolic logic - Copi, Irving M. (PHI Learning, 2010)