TY - JOUR AU - R. M. Robinson TI - Undecidability of the elementary theory of the field of rational JO - Algebra i logika PY - 1963 SP - 5 EP - 11 VL - 2 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1963_2_4_a0/ LA - ru ID - AL_1963_2_4_a0 ER -