6 External reference

• http://www.mathpath.org/proof/proof.methods.htm: excellent article that cover all the basic (and not so basic) technique of proofs.
• http://www.mathpath.org/proof/proof.inference.htm: inference rules.