Elementary induction on abstract structures - Moschovakis, Yiannis N. (Yiannis Nicholas) (Amsterdam : North-Holland Pub., 1974)
Includes bibliographical references and index
Keywords: Recursive functions; Induction (Mathematics)