Logical Reasoning in Mathematics