An introduction to logic.