Logic and Problem Solving