Paseau, A. (2011). Proving Induction. The Australasian Journal Of Logic, 10. doi:10.26686/ajl.v10i0.1821