Mathematical and Logical Reasoning