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. http://geodesic.mathdoc.fr/articles/10.4064/fm-74-2-99-109/
Cité par Sources :