Conditioned disjunction as a primitive connective for the propositional calculus
Church, Alonzo
Portugaliae mathematica, Tome 7 (1948), p. 87-90 / Harvested from Portugaliae Mathematica
Access to full text
Publié le : 1948-01-01
EUDML-ID : urn:eudml:doc:114661 
@article{2171,
     author = {Church, Alonzo},
     title = {Conditioned disjunction as a primitive connective for the propositional calculus},
     journal = {Portugaliae mathematica},
     volume = {7},
     year = {1948},
     pages = {87-90},
     zbl = {0034.29101},
     mrnumber = {0028253},
     language = {en},
     url = {http://dml.mathdoc.fr/item/2171}
}

Church, Alonzo. Conditioned disjunction as a primitive connective for the propositional calculus. Portugaliae mathematica, Tome 7 (1948) pp. 87-90. http://gdmltest.u-ga.fr/item/2171/