An algebraic approach to the Heyting-Brouwer predicate calculus
Tom 96 / 1977
Fundamenta Mathematicae 96 (1977), 127-135
DOI: 10.4064/fm-96-2-127-135
