A Modern Approach To Logical Reasoning