Church, Alonzo; Kleene, S. C. Formal definitions in the theory of ordinal numbers. (English) Zbl 0016.00201 Fundam. Math. 28, 11-21 (1937). Page: −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 16 Documents Keywords:Foundations, philosophy, logic PDF BibTeX XML Cite \textit{A. Church} and \textit{S. C. Kleene}, Fundam. Math. 28, 11--21 (1937; Zbl 0016.00201) Full Text: EuDML