On notation for ordinal numbers (1938)

by S C Kleene
Venue:The Journal of Symbolic Logic