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://www.numdam.org/item/PDML_1975__12_3_91_0/
LA  - fr
ID  - PDML_1975__12_3_91_0
ER  -