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
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
@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},
year = {1972},
volume = {74},
number = {2},
doi = {10.4064/fm-74-2-99-109},
language = {fr},
url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-74-2-99-109/}
}
Cité par Sources :