Paseau, Alexander. " Proving Induction." The Australasian Journal of Logic [Online], 10 (2011): n. pag. Web. 11 Aug. 2020