TY - JOUR AU - S. L. Shokhor TI - The lattice of recursively enumerable substructures of an JO - Algebra i logika PY - 1995 SP - 472 EP - 484 VL - 34 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1995_34_4_a7/ LA - ru ID - AL_1995_34_4_a7 ER -