%0 Journal Article %A R. I. Freidson %T Representation of recursive predicates by Rabin's machines %J Zapiski Nauchnykh Seminarov POMI %D 1967 %P 209-218 %V 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a20/ %G ru %F ZNSL_1967_4_a20