%0 Journal Article
%A Alan Rose
%T A Formalisation of Post's m-valued Propositional Calculus.
%J Mathematische Zeitschrift
%D 1952
%P 94-104
%V 56
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZ_1952__56_169275/
%F MZ_1952__56_169275