Introductory symbolic logic - Wilson, John K. 1946- (Cengage Learning, 1992)