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