Paseau, A. 2011 Feb 15. Proving Induction. The Australasian Journal of Logic. [Online] 10: