Formal de in the theory of ordinal numbers (1937)

by A Church, S Kleene
Venue:Fundamenta Mathematicae