Logical Methods : The Art of Thinking Abstractly and Mathematically