Download PDF - An algebraic approach to the Heyting-Brouwer predicate calculusAll rights reserved. Copyright exceptions and limitations apply

ArticleOriginal scientific text

Title

An algebraic approach to the Heyting-Brouwer predicate calculus

Authors 1

Affiliations

  1. Warszawa, Polska
Fundamenta Mathematicae
1977/96/2
Export to PBN, Opens in new tab
Pages:
127-135
Main language of publication
English
Published
1977
Exact and natural sciences