TY - JOUR AU - S. S. Goncharov AU - J. F. Knight TI - Computable Structure and Non-Structure Theorems JO - Algebra i logika PY - 2002 SP - 639 EP - 681 VL - 41 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2002_41_6_a0/ LA - ru ID - AL_2002_41_6_a0 ER -