Yiannis N Moschovakis

• Elementary Induction on Abstract Structures (Study in Logic & Mathematics)