%0 Journal Article %A M. I. Kanovich %T Constructibility of the logic of computational problems %J Doklady Akademii Nauk %D 1988 %P 530-535 %V 302 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1988_302_3_a3/ %G ru %F DAN_1988_302_3_a3