Elementary symbolic logic - Gustason, William (Waveland Press, Inc., 1982)