Logical Methods: The Art of Thinking Abstractly and Mathematically