Geodesic
Conditioned disjunction as a primitive connective for the propositional calculus
Portugaliae mathematica, Tome 7 (1948) no. 2, pp. 87-90

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Keywords: Philosophy and foundations of mathematics 
@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/}
}
TY  - JOUR
AU  - Church, Alonzo
TI  - Conditioned disjunction as a primitive connective for the propositional calculus
JO  - Portugaliae mathematica
PY  - 1948
SP  - 87
EP  - 90
VL  - 7
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PORMA_1948__7_2_114661/
LA  - en
ID  - PORMA_1948__7_2_114661
ER  - 
%0 Journal Article
%A Church, Alonzo
%T Conditioned disjunction as a primitive connective for the propositional calculus
%J Portugaliae mathematica
%D 1948
%P 87-90
%V 7
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PORMA_1948__7_2_114661/
%G en
%F PORMA_1948__7_2_114661
Church, Alonzo. Conditioned disjunction as a primitive connective for the propositional calculus. Portugaliae mathematica, Tome 7 (1948) no. 2, pp. 87-90. http://geodesic.mathdoc.fr/item/PORMA_1948__7_2_114661/