Hierarchies of predicates of finite types - Clarke, Douglas Albert (Memoirs of the American Mathematical Society ;, 1964)