Elementary induction on abstract structures - Moscnovakis Y N (London North Holland, 1974)
Keywords: Mathematical logic