Handout A: A twenty-page discussion on what
is a proof and how to write one, including the four main methods and many
examples (the appendix of the text Theory of
Computation by B.M.E. Moret, Addison-Wesley, 1998). Get the
Postscript file or a PDF file.