Voir la notice de l'article provenant de la source Numdam
@article{ASCFM_1992__98_28_5_0,
author = {Pal'chunov, Dimitrii E. and Touraille, Alain},
title = {On some connections between {Boolean} algebras and {Heyting} algebras},
journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques},
pages = {5--16},
publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
volume = {98},
number = {28},
year = {1992},
mrnumber = {1216675},
zbl = {0779.06010},
language = {en},
url = {http://geodesic.mathdoc.fr/item/ASCFM_1992__98_28_5_0/}
}
TY - JOUR AU - Pal'chunov, Dimitrii E. AU - Touraille, Alain TI - On some connections between Boolean algebras and Heyting algebras JO - Annales scientifiques de l'Université de Clermont. Mathématiques PY - 1992 SP - 5 EP - 16 VL - 98 IS - 28 PB - UER de Sciences exactes et naturelles de l'Université de Clermont UR - http://geodesic.mathdoc.fr/item/ASCFM_1992__98_28_5_0/ LA - en ID - ASCFM_1992__98_28_5_0 ER -
%0 Journal Article %A Pal'chunov, Dimitrii E. %A Touraille, Alain %T On some connections between Boolean algebras and Heyting algebras %J Annales scientifiques de l'Université de Clermont. Mathématiques %D 1992 %P 5-16 %V 98 %N 28 %I UER de Sciences exactes et naturelles de l'Université de Clermont %U http://geodesic.mathdoc.fr/item/ASCFM_1992__98_28_5_0/ %G en %F ASCFM_1992__98_28_5_0
Pal'chunov, Dimitrii E.; Touraille, Alain. On some connections between Boolean algebras and Heyting algebras. Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 98 (1992) no. 28, pp. 5-16. http://geodesic.mathdoc.fr/item/ASCFM_1992__98_28_5_0/