@article{PORMA_1948__7_2_114661, author = {Church, Alonzo}, title = {Conditioned disjunction as a primitive connective for the propositional calculus}, journal = {Portugaliae mathematica}, pages = {87--90}, publisher = {mathdoc}, volume = {7}, number = {2}, year = {1948}, mrnumber = {0028253}, zbl = {0034.29101}, language = {en}, url = {http://geodesic.mathdoc.fr/item/PORMA_1948__7_2_114661/} }