Understanding symbolic logic - Klenk, Virginia (Prentice-Hall, 1989)