Logical Mathematical Reasoning