%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