Handbook of mathematical induction:theory and applications - Gunderson, David S (Boca Raton CRC, 2011)
Keywords: LOGIC,SYMBOLIC AND MATHEMATICAL; INDUCTION-MATHEMATICS; PROBABILITIES; PROOF THEORY