1
Hierarchies of predicates of finite types /
Book
...Memoirs of the American Mathematical Society ;...