Elementary symbolik logic - Gustason, William; Ulrich, Dolph E. (Holt, Rinehart and Winston, 1973)