%0 Journal Article %A A. G. Dragalin %T A~computability of primitive recursive terms of finite type and the primitive recursive realization %J Zapiski Nauchnykh Seminarov POMI %D 1968 %P 32-45 %V 8 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZNSL_1968_8_a4/ %G ru %F ZNSL_1968_8_a4