Elementary induction on abstract structures - Moschovakis, Yiannis N (Amsterdam North-Holland Publishing Co., 1974)
Bibliography: p. 209-212.
1
Keywords: Recursive functions; Induction (Mathematics)