Formal definitions in the theory of ordinal numbers (1936)

by A S Church
Venue:Fundamental Mathematics