On notation for ordinal numbers (1938)

by S C Kleene
Venue:Journal of Symbolic Logic