Algèbre du calcul propositionnel trivalent de Heyting
Fundamenta Mathematicae, Tome 74 (1972) no. 2, pp. 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/}
}
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 :