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