David S. Gunderson

Handbook of mathematical induction