Văn bản này: Hierarchies of predicates of finite types / by D.A. Clarke.