Algèbre du calcul propositionnel trivalent de Heyting
Fundamenta Mathematicae, Tome 74 (1972) no. 2, pp. 99-109
Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
@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/}
}
TY - JOUR AU - Luiz Monteiro TI - Algèbre du calcul propositionnel trivalent de Heyting JO - Fundamenta Mathematicae PY - 1972 SP - 99 EP - 109 VL - 74 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/fm-74-2-99-109/ DO - 10.4064/fm-74-2-99-109 LA - fr ID - 10_4064_fm_74_2_99_109 ER -
Luiz Monteiro. Algèbre du calcul propositionnel trivalent de Heyting. Fundamenta Mathematicae, Tome 74 (1972) no. 2, pp. 99-109. doi: 10.4064/fm-74-2-99-109
Cité par Sources :