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

by Stephen C Kleene
Venue:American journal of mathematics