Douglas Albert Clarke

• Hierarchies of predicates of finite types