An algebraic approach to the Heyting-Brouwer predicate calculus
Rauszer, Cecylia
Fundamenta Mathematicae, Tome 96 (1977), p. 127-135 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1977-01-01
EUDML-ID : urn:eudml:doc:215035 
@article{bwmeta1.element.bwnjournal-article-fmv96i1p11bwm,
     author = {Cecylia Rauszer},
     title = {An algebraic approach to the Heyting-Brouwer predicate calculus},
     journal = {Fundamenta Mathematicae},
     volume = {96},
     year = {1977},
     pages = {127-135},
     zbl = {0365.02047},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv96i1p11bwm}
}

Rauszer, Cecylia. An algebraic approach to the Heyting-Brouwer predicate calculus. Fundamenta Mathematicae, Tome 96 (1977) pp. 127-135. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv96i1p11bwm/