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