An introduction to teaching logic as a tool

Logic is the glue that binds together methods of reasoning, in all domains.
---David Gries and Fred B. Schneider
Click on any of the following items for more information.