Les algèbres de Heyting-Brouwer : point de rencontre de plusieurs structures
Publications du Département de mathématiques (Lyon), Tome 12 (1975) no. 3, pp. 91-113
Cet article a éte moissonné depuis la source Numdam
@article{PDML_1975__12_3_91_0,
author = {Iturrioz, Luisa},
title = {Les alg\`ebres de {Heyting-Brouwer} : point de rencontre de plusieurs structures},
journal = {Publications du D\'epartement de math\'ematiques (Lyon)},
pages = {91--113},
year = {1975},
publisher = {Universit\'e Claude Bernard - Lyon 1},
volume = {12},
number = {3},
mrnumber = {422019},
zbl = {0346.02034},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/PDML_1975__12_3_91_0/}
}
TY - JOUR AU - Iturrioz, Luisa TI - Les algèbres de Heyting-Brouwer : point de rencontre de plusieurs structures JO - Publications du Département de mathématiques (Lyon) PY - 1975 SP - 91 EP - 113 VL - 12 IS - 3 PB - Université Claude Bernard - Lyon 1 UR - http://geodesic.mathdoc.fr/item/PDML_1975__12_3_91_0/ LA - fr ID - PDML_1975__12_3_91_0 ER -
%0 Journal Article %A Iturrioz, Luisa %T Les algèbres de Heyting-Brouwer : point de rencontre de plusieurs structures %J Publications du Département de mathématiques (Lyon) %D 1975 %P 91-113 %V 12 %N 3 %I Université Claude Bernard - Lyon 1 %U http://geodesic.mathdoc.fr/item/PDML_1975__12_3_91_0/ %G fr %F PDML_1975__12_3_91_0
Iturrioz, Luisa. Les algèbres de Heyting-Brouwer : point de rencontre de plusieurs structures. Publications du Département de mathématiques (Lyon), Tome 12 (1975) no. 3, pp. 91-113. http://geodesic.mathdoc.fr/item/PDML_1975__12_3_91_0/
