Understanding symbolic logic - Klenk, Virginia