论文信息 - Hierarchies of Primitive Recursive Functions - 字舞流文

Hierarchies of Primitive Recursive Functions

[1] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .

[2] S. C. Kleene,et al. Extension of an effectively generated class of functions by enumeration , 1958 .

[3] Thoralf Skolem,et al. Proof of some theorems on recursively enumerable sets , 1962, Notre Dame J. Formal Log..

[4] Darstellungen der (im KALMÁR-CSILLAG'schen Sinne) Elementaren Funktionen , 1965 .

[5] Über Darstellungen der Elementaren Funktionen II , 1966 .