%0 Journal Article
%A Luiz Monteiro
%T Algèbre du calcul propositionnel trivalent de Heyting
%J Fundamenta Mathematicae
%D 1972
%P 99-109
%V 74
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-74-2-99-109/
%R 10.4064/fm-74-2-99-109
%G fr
%F 10_4064_fm_74_2_99_109