PASEAU, Alexander. Proving Induction. The Australasian Journal of Logic, [S.l.], v. 10, feb. 2011. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/1821>. Date accessed: 11 aug. 2020. doi: https://doi.org/10.26686/ajl.v10i0.1821.