%0 Journal Article %A R. I. Freidson %T A~certain characterization of the complexity of recursive predicates %J Informatics and Automation %D 1970 %P 79-101 %V 113 %I mathdoc %U http://geodesic.mathdoc.fr/item/TRSPY_1970_113_a3/ %G ru %F TRSPY_1970_113_a3