1 - Algebres de Heyting trivalentes involutives |
2 - Modèles logiques et sysèmes d'intelligence artificielle : Université d'été, Lyon, 6-10 juillet 1987 |
3 - Sur les algèbres de Hilbert |
1 - Algebres de Heyting trivalentes involutives |
2 - Modèles logiques et sysèmes d'intelligence artificielle : Université d'été, Lyon, 6-10 juillet 1987 |
3 - Sur les algèbres de Hilbert |