http://www.cs.cornell.edu/Info/People/gries/Logic/Introduction.html Teaching Logic as a tool

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.