A Modern Approach To Logical Reasoning Book