book logic and the art of thinking