Symbolic logic - Irving M Copi (Prentice-Hall, 1997)