%0 Journal Article %A F. R. Kashapova %T Determination of classes of constructively derivable theorems in a %J Doklady Akademii Nauk %D 1984 %P 782-786 %V 276 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1984_276_4_a1/ %G ru %F DAN_1984_276_4_a1