Logical and Effective Reasoning