Elementary induction on abstract structures - Moschovakis, Yiannis N. (North-Holland Pub. Co., 1974)
Includes bibliographical references and index