Geodesic
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

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/