Formal definitions in the theory of ordinal numbers

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

Alonzo Church, S. Kleene Fundamenta Mathematicae 28 (1937), 11-21 DOI: 10.4064/fm-28-1-11-21