Title: Algèbres de Heyting trivalentes involutives
Subjects: Algebraic logic