The Art of Reasoning with Symbolic Logic 2e exp with Readings for Logical Analysis with Logictutor Ibm 5 (Paper)