Introduction to symbolic logic - Pollock, John L. (Holt, Rinehart and Winston, 1969)