Elementary induction on abstract structures - Moschovakis Yiannis N (New York North Holland, 1974)