Formal definitions in the theory of ordinal numbers, Fund (1936)

by A Church, S C Kleene
Venue:Math