On the forms of the predicates in the theory of constructive ordinals (1955)

by Stephen C Kleene
Venue:II. The American Journal of Mathematics