- Truth Table Generator by Brian Borowski as a class project! Nice way to study complicated compound statements.
- Some Help on Reading Mathematics and Creating Proofs from Ed Bender, UC-San Diego. A helpful collection of information about proofs.
- Proofs in Mathematics from Cut-The-Knot. Some general discussion/philosophy about proofs and many examples of simple problems (mostly geometric) with proofs.
- If you search amazon.com for the word "proof" you can find several books about proofs. I haven't looked at any of them so I can't make a specific recommendation.

ccollins@math.utk.edu