TY - JOUR AU - M. A. Taislin TI - Some more examples of undecidable theories JO - Algebra i logika PY - 1967 SP - 105 EP - 111 VL - 6 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1967_6_3_a11/ LA - ru ID - AL_1967_6_3_a11 ER -