TY - JOUR AU - Becchio, Denise TI - Deux définitions des algèbres de Heyting trivalentes involutives JO - Publications du Département de mathématiques (Lyon) PY - 1978 SP - 39 EP - 44 VL - 15 IS - 1 PB - Université Claude Bernard - Lyon 1 UR - http://www.numdam.org/item/PDML_1978__15_1_39_0/ LA - fr ID - PDML_1978__15_1_39_0 ER -