TY - JOUR AU - N. N. Nepeivoda TI - On embedding Boolean algebras in the Lindenbaum--Tarski algebra JO - Doklady Akademii Nauk PY - 1971 SP - 23 EP - 25 VL - 199 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1971_199_1_a4/ LA - ru ID - DAN_1971_199_1_a4 ER -