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