Elementary Induction on Abstract Structures (1974)

by Y Moschovakis