Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализация А.Г. Драгалин — 1968 Zapiski naucnych seminarov Leningradskogo