%0 Journal Article
%A Cecylia Rauszer
%T An algebraic approach to the Heyting-Brouwer predicate calculus
%J Fundamenta Mathematicae
%D 1977
%P 127-135
%V 96
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-96-2-127-135/
%R 10.4064/fm-96-2-127-135
%G en
%F 10_4064_fm_96_2_127_135