On hierarchies and systems of notations
Hilary Putnam · Proceedings of the American Mathematical Society · 1964
s If • • • P, x • • • be allowed to contain second-order bound variables, then the operation may be classified as Xv n" Z2, • • • etc., according to the number and quality of these.(Cf.footnote 3 below.)