Elementary symbolic logic - Gustason, William