Elementary induction on abstract structures / - Moschovakis, Yiannis N. (North-Holland Pub. Co. ;, 1974)