Symbolic logic - Copi Irving M. (New York, USA Macmillan Publishing Company, 1973)