http://www.cs.cornell.edu/Info/People/gries/Logic/Introduction.html
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.