%0 Journal Article %A S. A. Abramov %T Remark on the method of intermediate assertions %J Doklady Akademii Nauk %D 1981 %P 521-523 %V 259 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1981_259_3_a0/ %G ru %F DAN_1981_259_3_a0