TY - JOUR AU - N. A. Bazhenov AU - R. R. Tukhbatullina TI - Computable categoricity of the Boolean algebra $\mathfrak B(\omega)$ with a~distinguished automorphism JO - Algebra i logika PY - 2013 SP - 131 EP - 144 VL - 52 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2013_52_2_a0/ LA - ru ID - AL_2013_52_2_a0 ER -