On notation for ordinal numbers (1938)

by S C Kleene
Venue:J. Symb. Log