An algebraic approach to the Heyting-Brouwer predicate calculus

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

Cecylia Rauszer Fundamenta Mathematicae 96 (1977), 127-135 DOI: 10.4064/fm-96-2-127-135