Handbook of mathematical induction theory and applications - Gunderson, David S. (Boca Raton Crc Press, 2011)
Keywords: Induction (Mathematics); Logic, Symbolic and mathematical; Proof theory; Probabilities