Gunderson, David S. Handbook of mathematical induction : theory and applications / David S. Gunderson. - Boca Raton, FL : CRC Press, c2011. - xxv, 893 p. : - Discrete mathematics and its applications . ISBN: 9781420093643 (hardcover : alk. paper) 1420093649 (hardcover : alk. paper) Subjects--Topical Terms: Proof theory.Inductive logic.Logic, Symbolic and mathematical.Probabilities. Universal Decimal Class. No.: 510.646 / GUN