Title: Hierarchies of predicates of finite types
Subjects: Number theory, Recursive functions, Predicate calculus