Understanding symbolic logic - Klenk, Virginia 1940- (Prentice-Hall, 1983)