Stephen Cole Kleene On Notation for Ordinal Numbers. 150-155 1938 3 J. Symb. Log. 4 db/journals/jsyml/jsyml3.html#Kleene38a