Logical-mathematical Reasoning Research Articles