Mathematical induction / - Henkin, Leon. (Mathematical Association of America, 1961)