%0 Journal Article
%A P. Andrews
%T A reduction of the axioms for the theory of prepositional types
%J Fundamenta Mathematicae
%D 1963
%P 345-350
%V 52
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-52-3-345-350/
%R 10.4064/fm-52-3-345-350
%G en
%F 10_4064_fm_52_3_345_350