Mathematical Reasoning and Logical Analysis