Hierarchies of predicates of finite types / - Clarke, Douglas Albert. (American Mathematical Society,, 1964)