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

by S C Kleene
Venue:Amer J. Math