Formal definitions in the theory of ordinal numbers Alonzo Church; S. Kleene — 1937 Fundamenta Mathematicae
Conditioned disjunction as a primitive connective for the propositional calculus Church, Alonzo — 1948 Portugaliae mathematica