Elementary induction on abstract structures - Μοσχοβάκης, Γιάννης Ν., 1938- (Dover Publications, 2008)