"Elementary Induction on Abstract Structures " - читать интересную книгу автора (Yiannis N Moschovakis)