Introduction to logic - Cppi, Irving M. (Macmillan, 1986)