Study guide to accompany logic - Baum, Robert (Harcourt Brace College, 1996)