TY - BOOK AU - "Somisky, " TI - Method of Mathematical Induction CY - MIR Publications N1 - includes index and biblioraphy ER -