Thinking things through;: An introduction to logic