Enviar aquest missatge de text: Hierarchies of predicates of finite types / by D.A. Clarke.