Algèbre du calcul propositionnel trivalent de Heyting
Monteiro, Luiz
Fundamenta Mathematicae, Tome 75 (1972), p. 99-109 / Harvested from The Polish Digital Mathematics Library
Publié le : 1972-01-01
EUDML-ID : urn:eudml:doc:214418
@article{bwmeta1.element.bwnjournal-article-fmv74i1p9bwm,
     author = {Luiz Monteiro},
     title = {Alg\`ebre du calcul propositionnel trivalent de Heyting},
     journal = {Fundamenta Mathematicae},
     volume = {75},
     year = {1972},
     pages = {99-109},
     zbl = {0248.02070},
     language = {fra},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv74i1p9bwm}
}
Monteiro, Luiz. Algèbre du calcul propositionnel trivalent de Heyting. Fundamenta Mathematicae, Tome 75 (1972) pp. 99-109. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv74i1p9bwm/