Introduction to logic - Copi, Irving M.