You will probably want to refer to all of the pages below as the semester progresses. For your first reading assignment, it is sufficient carefully to read my favorites pages and the indicated sublinks.

• Royster
  • follow all links except "mathematical systems"
• Williams
  • follow all links
• Cut The Knot
  • follow "breaking chocolate bars" (requires java)

Here are some web pages on proof techniques that I like.

• Different kinds of proofs (condensed version) by David Royster
• Different kinds of proofs by Peter Williams

Here are some web pages on induction that I like, in the order that I like them.

• Introduction to induction by Bob Daley
• Introduction to induction with many solved exercises by Jane Fritz
• Fun with induction by "Cut The Knot"
• Introduction to induction with many exercises by David Sumner

Disclaimer: I did not write any of the pages above. I think they are all very good and well worth studying, but I don't offer any guarantees. Here's a note on logic that I actually did write, in response to a student in EECS 361 Spring 99.

• A short note on false antecedents by Richard Beigel