Introduction to symbolic logic - Smith, Karl J. (Brooks/Cole one-unit series in precalculus mathematics, 1991)