%0 Journal Article %A А.А. Савельев %T Критерий полноты систем операций в программах с конечной памятью %J Veroâtnostnye metody i kibernetika %D 1990 %P 55-97 %V 24 %I mathdoc %U http://geodesic.mathdoc.fr/item/VMK_1990__24_69280/ %G ru %F VMK_1990__24_69280