@article{10_4064_fm_74_2_99_109,
     author = {Luiz Monteiro},
     title = {Alg\`ebre du calcul propositionnel trivalent de {Heyting}},
     journal = {Fundamenta Mathematicae},
     pages = {99--109},
     publisher = {mathdoc},
     volume = {74},
     number = {2},
     year = {1972},
     doi = {10.4064/fm-74-2-99-109},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-74-2-99-109/}
}