TY - JOUR AU - L. I. Stanevichene TI - An unsolvable algorithmic problem JO - Izvestiâ vysših učebnyh zavedenij. Matematika PY - 1996 SP - 70 EP - 77 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IVM_1996_6_a9/ LA - ru ID - IVM_1996_6_a9 ER -