This page is supposed to send you to http://www.cs.cornell.edu/Info/People/gries/Logic/introduction.html
If you are reading this message, the transition did not happen automatically.
Please click on the link above!