TY  - JOUR
AU  - Cecylia Rauszer
TI  - An algebraic approach to the Heyting-Brouwer predicate calculus
JO  - Fundamenta Mathematicae
PY  - 1977
SP  - 127
EP  - 135
VL  - 96
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-96-2-127-135/
DO  - 10.4064/fm-96-2-127-135
LA  - en
ID  - 10_4064_fm_96_2_127_135
ER  -