%0 Journal Article %A A. O. Slisenko %T A property of recursively enumerable sets containing “hardly deducible” formulas %J Zapiski Nauchnykh Seminarov POMI %D 1971 %P 200-207 %V 20 %U http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a18/ %G ru %F ZNSL_1971_20_a18