Elementary induction on abstract structures
Moschovakis, Yiannis Nicholas.
Amsterdam London North-Holland Publishing Co. [etc.]
1974
Bibliography: p.209-212. - Includes index