On the strong constructivizability of Boolean algebras of
Algebra i logika, Tome 32 (1993) no. 6, pp. 618-630
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1993_32_6_a2,
author = {V. N. Vlasov and S. S. Goncharov},
title = {On the strong constructivizability of {Boolean} algebras of},
journal = {Algebra i logika},
pages = {618--630},
publisher = {mathdoc},
volume = {32},
number = {6},
year = {1993},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1993_32_6_a2/}
}
V. N. Vlasov; S. S. Goncharov. On the strong constructivizability of Boolean algebras of. Algebra i logika, Tome 32 (1993) no. 6, pp. 618-630. http://geodesic.mathdoc.fr/item/AL_1993_32_6_a2/