TY - JOUR AU - M. N. Leontieva TI - Strong constructivizability of Boolean algebras of elementary characteristic $(\infty,0,0)$ JO - Algebra i logika PY - 2014 SP - 185 EP - 205 VL - 53 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2014_53_2_a3/ LA - ru ID - AL_2014_53_2_a3 ER -