%0 Journal Article %A S. V. Pakhomov %T How to prove that two classes of simple primitive recursive functions are distinct %J Zapiski Nauchnykh Seminarov POMI %D 1977 %P 115-122 %V 68 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZNSL_1977_68_a8/ %G ru %F ZNSL_1977_68_a8