Mathematical Reasoning Logic and Problem Solving