TY - JOUR AU - Yu. V. Matiyasevich TI - A~sufficient condition for the recursive convergence of a~monotone sequence JO - Zapiski Nauchnykh Seminarov POMI PY - 1971 SP - 97 EP - 103 VL - 20 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a9/ LA - ru ID - ZNSL_1971_20_a9 ER -