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