Symbolic logic - Copi, Irving M. (1961)